Boris Trakhtenbrot

Boris Trakhtenbrot

Nascimento 19 de fevereiro de 1921
Brichevo, Donduşeni (condado), Bessarábia
Morte 19 de setembro de 2016 (95 anos)
Nacionalidade Rússia Russo, Israel israelense
Orientador(es)(as) Pyotr Novikov
Instituições Universidade de Tel Aviv
Campo(s) Matemática
Tese 1950: Decidability Problems for Finite Classes and Definitions of Finite Sets

Boris (Boaz) Avraamovich Trakhtenbrot (em russo: Борис Авраамович Трахтенброт; Brichevo, 19 de fevereiro de 192119 de setembro de 2016)[1][2] ou Boaz (Boris) Trakhtenbrot (em hebraico: בועז טרכטנברוט) foi um matemático russo-israelense.

Seus campos de trabalho são lógica matemática, algoritmo, teoria da computação e cibernética. Trabalhou na Akademgorodok, Novosibirsk, durante as décadas de 1960 e 1970.[3] Foi professor da Faculdade de Ciências Exatas da Universidade de Tel Aviv.

Em 1964 Trakhtenbrot descobriu e provou um resultado fundamental em ciência da computação teórica denominado teorema do intervalo.[4] Ele também descobriu e provou o que é atualmente conhecido como teorema de Trakhtenbrot[5] que é um teorema em lógica, teoria dos modelos e teoria da computabilidade.

Morreu em 19 de setembro de 2016, aos 95 anos.[6]

Referências

  1. «Russian Jewish Encyclopedia > Surnames starting with the letter T» 
  2. «Academician Andrei Ershov's archive > Documents > Boris A. Trakhtenbrot» 
  3. «History of Computing in Russia > Authors > Boris Avraamovich Trahtenbrot» (em russo) 
  4. Boris Trakhtenbrot (1964). «Turing computations with logarithmic delay». Algebra and Logic (em russo). 3 (4): 33–48 
  5. Boris Trakhtenbrot (1950). «The Impossibility of an Algorithm for the Decidability Problem on Finite Classes». Doklady Akademii Nauk SSSR (em russo). 70 (4): 569-572 
  6. «Скончался Борис Абрамович Трахтенброт» (em russo). Consultado em 22 de setembro de 2016 

Ver também

Ligações externas

Ícone de esboço Este artigo sobre um(a) matemático(a) é um esboço. Você pode ajudar a Wikipédia expandindo-o.

Read other articles:

HotteokNama KoreaHangul호떡 Alih AksarahotteokMcCune–Reischauerhottŏk Hotteok adalah panekuk berisi pasta kacang, dijual sebagai makanan jajanan Korea Selatan. Kue ini digoreng dengan minyak yang cukup banyak, enak dimakan sewaktu masih hangat sehingga populer sebagai kudapan sewaktu musim dingin. Kue ini harganya relatif murah, bentuknya bulat dan tebal seperti panekuk dan diisi dengan pasta kacang manis. Nama ho-tteok berasal dari kata ho (胡; suku bangsa di Cina Barat/Utara) dan tteo...

 

 

Jean Victor Moreau Jean Victor Marie Moreau, lahir 14 Februari 1763 di Morlaix (Finistère) dan meninggal 2 September 1813 di Laun (terkadang dieja Lahn), di Bohemia, merupakan seorang Jenderal Revolusi Prancis, juga Generalfeldmarschall Rusia dengan gelar anumerta Marsekal Prancis[1]. Ayahandanya, Gabriel-Louis Moreau, sieur de Lizoreux (1730-1794), penasihat raja dan letnan di Morlaix, dan ibundanya Catherine Chapperon de L'Isle, putri seorang pedagang dan cucu Pierre Bernard de Bas...

 

 

Untuk batu permata, lihat Mirah delima. Delima Klasifikasi ilmiah Kerajaan: Plantae (tanpa takson): Angiospermae (tanpa takson): Eudikotil Subkelas: Rosidae Ordo: Myrtales Famili: Lythraceae Subfamili: Punicoideae Genus: Punica Spesies: P. granatum Nama binomial Punica granatumL. Sinonim Punica malusLinnaeus, 1758 Bagian dalam buah delima yang telah dikupas. Delima (Punica granatum) adalah tanaman buah-buahan yang dapat tumbuh hingga 5–8 m. Tanaman ini diperkirakan berasal dari Iran, n...

Balasaheb Gangadhar Kher (juga dikenal sebagai B. G. Kher) (24 Agustus 1888 – 8 Maret 1957)[1][2] adalah ketua menteri pertama (saat itu disebut Premier[3]) dari Negara Bagian Bombay yang sekarang meliputi Negara-Negara Bagian Maharashtra dan Gujarat di India. Ia dianugerahi Padma Vibhushan oleh Pemerintah India pada 1954. Catatan ^ This Day That Age. Chennai, India: The Hindu. 9 March 2007. Diarsipkan dari versi asli tanggal 2012-03-02. Diakses tanggal...

 

 

العلاقات السيراليونية المصرية سيراليون مصر   سيراليون   مصر تعديل مصدري - تعديل   العلاقات السيراليونية المصرية هي العلاقات الثنائية التي تجمع بين سيراليون ومصر.[1][2][3][4][5] مقارنة بين البلدين هذه مقارنة عامة ومرجعية للدولتين: وجه المقارنة �...

 

 

Trattato di Berlino (1878)Il congresso di Berlino che portò alla firma del trattatoContestoPace di Santo Stefano Firma13 luglio 1878 LuogoBerlino,  Germania CondizioniRettifiche rispetto alla Pace di Santo Stefano: riduzione e divisione della neonata Bulgaria, amministrazione austriaca della Bosnia. Conferme: passaggio alla Russia della Bessarabia meridionale e indipendenza di Montenegro, Serbia e Romania dall'Impero ottomano. Parti Germania Austria-Ungheria Regno Unito I...

Francis WhelerNascita1656 Morte19 febbraio 1694 Dati militariPaese servito Regno d'Inghilterra Arma Royal Navy Gradoretroammiraglio GuerreGuerra della Grande AlleanzaGuerra guglielmita BattaglieBattaglia di Beachy Head (1690)Azione di Barfleur Comandante diHMS NonsuchHMS Kingfisher (1675)HMS TygerHMS CenturionHMS KentHMS GreenwichHMS NorwichJamaica Station (Royal Navy)HMS Sussex voci di militari presenti su Wikipedia Manuale Francis Wheler (1656 – 19 febbraio 1694) è stato un ammiragl...

 

 

Hawa Mahal Hawa Mahal merupakan nama istana yang terletak di Jaipur, India. Istana ini mulai dibangun tahun 1799. Hawa Mahal dibangun atas permintaan dari Maharaja Sawai Pratap Singh, dan didisain oleh Lal Chand Usta dengan mengadopsi disainnya pada mahkota Dewa Kresna, dewa utama agama Hindu. Artikel bertopik bangunan dan struktur ini adalah sebuah rintisan. Anda dapat membantu Wikipedia dengan mengembangkannya.lbs

 

 

Small nucleolar RNA Z39Predicted secondary structure and sequence conservation of snoZ39IdentifiersSymbolsnoZ39RfamRF00341Other dataRNA typeGene; snRNA; snoRNA; CD-boxDomain(s)EukaryotaGOGO:0006396 GO:0005730SOSO:0000593PDB structuresPDBe In molecular biology, Small nucleolar RNA Z39 is a non-coding RNA (ncRNA) molecule which functions in the modification of other small nuclear RNAs (snRNAs). This type of modifying RNA is usually located in the nucleolus of the eukaryotic cell which is a majo...

Shomer 19th century Yiddish writer Nahum Meïr Schaikewitz,[1] also known by his pseudonym Shomer (December 18, 1849 in Nesvizh, Russian Empire – 25 November 1905 in New York City)[2] was a Yiddish and Hebrew novelist and playwright. Although he was very popular in his time and a giant in Yiddish literature, sometimes styled the Dumas of Yiddish literature,[2] he was significantly damaged by Sholem Aleichem, who derided his plotting as extravagantly artificial an...

 

 

The Daily HeraldTypeDaily newspaperFormatBroadsheetOwner(s)GannettPublishernone Ad Director: Craig DuncanEditorKeri BartlettFounded1848 (1848)LanguageEnglishHeadquarters1115 South Main Street, Columbia, TN, 38401 United StatesCirculation6,933 (as of 2018)[1]Websitecolumbiadailyherald.com The Daily Herald is a daily newspaper in Columbia, Tennessee. The newspaper is published six days a week Sunday through Friday; the paper does not publish on Saturday. Although it is pri...

 

 

Metamorphic rock from a volcanic precursor Metavolcanic rock (a metabasalt) from Michigan, US Metavolcanic rock is volcanic rock that shows signs of having experienced metamorphism.[1] In other words, the rock was originally produced by a volcano, either as lava or tephra. The rock was then subjected to high pressure, high temperature or both, for example by burial under younger rocks, causing the original volcanic rock to recrystallize. Metavolcanic rocks are sometimes described info...

Bird observatory in Canada Prince Edward Point Bird ObservatoryLocation of the Prince Edward Point Bird ObservatoryLocationEastern OntarioNearest cityPicton, OntarioCoordinates43°57′N 76°54′W / 43.950°N 76.900°W / 43.950; -76.900Area560 hectares (Prince Edward Point National Wildlife Area)Established1995 (observatory)1978 (National Wildlife Area) Entry sign The Prince Edward Point Bird Observatory main building The Prince Edward Point Bird Observatory is a...

 

 

Militant organization in control of Afghanistan For other uses, see Taliban (disambiguation). This article is about the Afghan group. Not to be confused with Pakistani Taliban, Jamaat Ansarullah, or Punjabi Taliban. This article may be too long to read and navigate comfortably. When this tag was added, its readable prose size was 17,000 words. Consider splitting content into sub-articles, condensing it, or adding subheadings. Please discuss this issue on the article's talk page. (June 2022) T...

 

 

French civil engineer that designed lighthouses in Canada Henri de MiffonisPhoto of Henri de Miffonis in 1908Born(1882-05-24)24 May 1882Boulogne-Billancourt, FranceDied1955CanadaCitizenshipCanadaAlma materUniversité de ParisOccupationCivil EngineerKnown forPlans and drawings for the Commission of Lighthouses Henri de Miffonis (May 24, 1882 - 1955), born as Louis Fernand Henri de Miffonis, was a civil engineer. He was born in Boulogne-Billancourt, France[1][2] and di...

American diplomat, banker, businessman, industrialist, philanthropist, and art collector For the Irish sprinter, see Andrew Mellon (athlete). Andrew Mellon42nd United States Ambassador to the United KingdomIn officeApril 9, 1932 – March 17, 1933PresidentHerbert HooverFranklin D. RooseveltPreceded byCharles G. DawesSucceeded byRobert Worth Bingham49th United States Secretary of the TreasuryIn officeMarch 9, 1921 – February 12, 1932PresidentWarren G. HardingCalvin Coolidge...

 

 

فلم الدراما هو نوع من الأفلام الذي يعتمد على التطوير العميق للشخصيات الواقعية التي تتعامل مع المواضيع المؤثرة.[1][2] الأفلام الدرامية تكون عادة عن العنصرية وإدمان مخدرات والتعصب ديني والفقر والعنف ضد المرأة وفساد المجتمع بأحداث تضع الشخصية في صراع مع أنفسهم. الدرا�...

 

 

Artikel ini sebatang kara, artinya tidak ada artikel lain yang memiliki pranala balik ke halaman ini.Bantulah menambah pranala ke artikel ini dari artikel yang berhubungan atau coba peralatan pencari pranala.Tag ini diberikan pada Desember 2023. Ini adalah daftar maskapai penerbangan yang saat ini beroperasi di Sierra Leone. Maskapai penerbangan IATA ICAO Tanda panggil Mulaiberoperasi Catatan Fly 6ix 2010 Pan African Air Services PFN PANAFRICAN Paramount Airlines Sierra National Airlines LJ S...

The following highways are numbered 709: Canada Saskatchewan Highway 709 Costa Rica National Route 709 United States SR 709 PA 709 (former) PR-709 FM 709 Preceded by708 Lists of highways709 Succeeded by710 vteList of highways numbered ...0–9 0 1 1A 1B 1D 1X 2 2A 2N 3 3A 3B 3C 3E 3G 4 4A 5 5A 5B 6 6A 6N 7 7A 7B 7C 8 9 9A 9B 9E 9W 10–16 10 10A 10N 11 11A 11B 11C 12 12A 12B 12C 12D 12E 12F 13 13A 14 14A 15 15A 16 16A 17–22 17 17A 17B 17C 17E 17F 17J 18 18A 18B 18C...

 

 

Туркмены на Украине (туркм. Ukrainadaky türkmenler, укр. Туркмени в Україні) — туркменское национальное меньшинство, проживающее на Украине и составляющее часть туркменской диаспоры. Родным языком туркмен является туркменский, который принадлежит к тюркской языковой семье, по ве�...