acces mai rapid decât browser-ul!
24 relaţii: Alan Turing, American Mathematical Society, Dana Scott, LISP, Logică matematică, Mașină Turing, Matematician, Michael Rabin, Oswald Veblen, Philosophiæ doctor, Prezbiterianism, Problema deciziei, Programare funcțională, Statele Unite ale Americii, Stephen Cole Kleene, Teza Church-Turing, Transformările lui Lorentz, Universitatea din Amsterdam, Universitatea din Chicago, Universitatea Georg-August din Göttingen, Universitatea Harvard, Universitatea Princeton, University of California, Los Angeles, Washington, D.C..
Alan Turing
Alan Mathison Turing, OBE, FRS a fost un informatician, matematician, logician, criptanalist, filosof și maratonist britanic.
Nou!!: Alonzo Church și Alan Turing · Vezi mai mult »
American Mathematical Society
American Mathematical Society (AMS) este o asociație de matematicieni profesioniști dedicați intereselor cercetării matematice și burselor și servește comunității naționale și internaționale prin publicațiile, întâlnirile, susținere și alte programe.
Nou!!: Alonzo Church și American Mathematical Society · Vezi mai mult »
Dana Scott
Dana Stewart Scott este un matematician și informatician american, cu importante contribuții în domeniul teoriei automatelor, pentru care a primit Premiul Turing în 1976.
Nou!!: Alonzo Church și Dana Scott · Vezi mai mult »
LISP
LISP este un limbaj de programare funcțional cu un lung istoric.
Nou!!: Alonzo Church și LISP · Vezi mai mult »
Logică matematică
Logica matematică este un subdomeniu al matematicii.
Nou!!: Alonzo Church și Logică matematică · Vezi mai mult »
Mașină Turing
O reprezentare artistică a unei ''Mașini Turing''. Mașinile Turing sunt mecanisme extrem de elementare de dispozitive de prelucrare a simbolurilor care — în ciuda simplității lor — pot fi adaptate pentru a simula logica oricărui calculator ce poate fi construit.
Nou!!: Alonzo Church și Mașină Turing · Vezi mai mult »
Matematician
Euclid (ținând echerul în mână) este considerat „părintele geometriei”. Matematicianul este o persoană al cărei prim domeniu de studiu și/sau cercetare este acela al matematicii.
Nou!!: Alonzo Church și Matematician · Vezi mai mult »
Michael Rabin
Michael Oser Rabin (în, n. 1931, Breslau, Germania, astăzi Wrocław, Polonia) este un informatician israelian, laureat al Premiului Turing, pentru lucrarea Automatele finite și problema deciziei lor, publicată împreună cu Dana Scott, în care cei doi au introdus noțiunea de automat finit nedeterminist.
Nou!!: Alonzo Church și Michael Rabin · Vezi mai mult »
Oswald Veblen
Oswald Veblen a fost un matematician american, specialist în geometrie și în topologie, ale cărui lucrări și-au găsit aplicații în fizica atomică și în teoria relativității.
Nou!!: Alonzo Church și Oswald Veblen · Vezi mai mult »
Philosophiæ doctor
Philosophiæ doctor sau doctor philosophiæ (abreviat PhD, Ph. D. sau DPhil; literalmente „Doctor în filosofie”) este distincția cea mai înaltă a unei diplome de doctorat în sistemul anglo-saxon și cel franco-canadian.
Nou!!: Alonzo Church și Philosophiæ doctor · Vezi mai mult »
Prezbiterianism
Prezbiterianismul este ramura Bisericii Reformate din Scoția, care a aderat la confesiunea calvinistă din cadrul Reformei protestante, așa cum a fost formulată de John Knox.
Nou!!: Alonzo Church și Prezbiterianism · Vezi mai mult »
Problema deciziei
În matematică și informatică, problema deciziei, denumită și Entscheidungsproblem (din germană) este o provocare lansată de David Hilbert în 1928.
Nou!!: Alonzo Church și Problema deciziei · Vezi mai mult »
Programare funcțională
Programarea funcțională este o paradigmă de programare care tratează calculul ca evaluare de funcții matematice și evită starea și datele mutabile.
Nou!!: Alonzo Church și Programare funcțională · Vezi mai mult »
Statele Unite ale Americii
Statele Unite ale Americii (sau abreviat S.U.A.), Statele Unite sau America (în respectiv USA, United States sau America) este numele unei republici constituționale federale, constând din 50 de state și un district federal (Districtul federal Columbia sau D.C.). Republica este situată aproape integral în continentul America de Nord, între Canada (la nord) și Mexic (la sud), respectiv Oceanul Atlantic (la est) și Oceanul Pacific (la vest).
Nou!!: Alonzo Church și Statele Unite ale Americii · Vezi mai mult »
Stephen Cole Kleene
Stephen Cole Kleene (pronunțat) a fost un matematician american, elev al lui Alonzo Church, cunoscut, împreună cu Alan Turing, și alții, ca fondator al ramurii logicii matematice care poartă numele teoria calculabilității, care ulterior a stat la baza informaticii teoretice.
Nou!!: Alonzo Church și Stephen Cole Kleene · Vezi mai mult »
Teza Church-Turing
În teoria calculabilității, teza Church-Turing (cunoscută și sub numele de teza calculabilității, teza Turing-Church, conjectura Church-Turing, teza lui Church, conjectura lui Church sau teza lui Turing) este o ipoteză despre natura.
Nou!!: Alonzo Church și Teza Church-Turing · Vezi mai mult »
Transformările lui Lorentz
right În fizică, transformările Lorentz fac conversia între două măsurători diferite, efectuate de doi observatori diferiți, asupra spațiului și timpului, atunci când un observator este în mișcare uniformă și rectilinie în raport cu celălalt.
Nou!!: Alonzo Church și Transformările lui Lorentz · Vezi mai mult »
Universitatea din Amsterdam
Universitatea din Amsterdam.
Nou!!: Alonzo Church și Universitatea din Amsterdam · Vezi mai mult »
Universitatea din Chicago
thumb Universitatea Chicago este o instituție de învățământ superior privată, ale cărei facultăți sunt situate în principal în cartierul Hyde Park din Chicago, Illinois, SUA.
Nou!!: Alonzo Church și Universitatea din Chicago · Vezi mai mult »
Universitatea Georg-August din Göttingen
Universitatea Georg-August din Göttingen a fost întemeiată în anii 1732/1734 de principele Georg August de Braunschweig, totodată rege al Marii Britanii, sub numele de George al II-lea.
Nou!!: Alonzo Church și Universitatea Georg-August din Göttingen · Vezi mai mult »
Universitatea Harvard
Universitatea Harvard: ''Conant Hall'' Universitatea Harvard (în) este o universitate privată, aflată în orașul Cambridge, statul Massachusetts, Statele Unite.
Nou!!: Alonzo Church și Universitatea Harvard · Vezi mai mult »
Universitatea Princeton
Clădirea ''Alexander Hall'' din campusul universităţii Princeton Universitatea Princeton este o universitate particulară de cercetare din SUA situată în localitatea Princeton, New Jersey.
Nou!!: Alonzo Church și Universitatea Princeton · Vezi mai mult »
University of California, Los Angeles
Expresia engleză University of California, Los Angeles (prescurtat UCLA care se pronunță, v. AFR) desemnează renumitul sediu (campus) al Universității din California din Los Angeles, California, SUA.
Nou!!: Alonzo Church și University of California, Los Angeles · Vezi mai mult »
Washington, D.C.
Washington, D.C. (pronunțat /ˈwɒʃɪŋtən ˌdiːˈsiː/ sau ŭașintăn di si), oficial Districtul Columbia sau simplu D.C. este capitala Statelor Unite ale Americii, fondată în 16 iulie 1790.
Nou!!: Alonzo Church și Washington, D.C. · Vezi mai mult »
