Biserica, Alonso
Versiunea actuală a paginii nu a fost încă examinată de colaboratori experimentați și poate diferi semnificativ de versiunea revizuită pe 28 mai 2020; verificările necesită 19 modificări .| Biserica Alonzo | |
|---|---|
| Engleză Biserica Alonzo | |
| Data nașterii | 14 iunie 1903 [1] [2] [3] |
| Locul nașterii | |
| Data mortii | 11 august 1995 [1] [2] [3] […] (92 de ani) |
| Un loc al morții | |
| Țară | |
| Sfera științifică | logica matematica , informatica teoretica , matematica si logica |
| Loc de munca | |
| Alma Mater | |
| Grad academic | doctorat ( 1927 ) |
| consilier științific | Oswald Veblen [6] |
 Lucrează la Wikisource | |
Alonzo Church ( ing. Alonzo Church ; 14 iunie 1903 , Washington – 11 august 1995 , Hudson , Ohio , SUA ) a fost un matematician și logician american care a adus o contribuție semnificativă la fundamentele informaticii .
Biografie
Și-a primit licența în arte de la Universitatea Princeton în 1924 și doctoratul în 1927 sub Oswald Veblen pentru Alternative to Zermelo 's Assumption. A fost membru național de cercetare timp de doi ani, a petrecut un an la Harvard, apoi la Göttingen și Amsterdam. Din 1929, profesor asistent de matematică la Alma Mater, din 1939 profesor asociat , din 1947 profesor de matematică, din 1961 profesor de matematică și filosofie.
Church a devenit faimos pentru dezvoltarea teoriei calculului lambda , care a urmat faimoasa sa lucrare din 1936, în care a arătat existența așa-numitului. „probleme de nerezolvat” ( teorema Church-Turing ) [7] . Această lucrare a precedat faimosul studiu al lui Alan Turing despre problema opririi , care a demonstrat, de asemenea, existența unor probleme nerezolvabile din punct de vedere mecanic. Ulterior, Church și Turing au arătat că calculul lambda și mașina Turing aveau aceleași proprietăți, dovedind astfel că diferite „procese de calcul mecanice” ar putea avea aceleași capacități. Această lucrare a fost încadrată ca teza Church-Turing .
Printre altele, sistemul său de calcul lambda a stat la baza limbajelor de programare funcționale , în special familia Lisp (de exemplu, Scheme ).
Church a rămas profesor la Princeton până în 1967, după care s-a mutat în California, unde a devenit profesor la Universitatea din Los Angeles până în 1990. În 1992 s-a mutat în Hudson, Ohio, unde și-a trăit viața.
Membru al Academiei Naționale de Științe din SUA (1978) și al Academiei Americane de Arte și Științe, membru corespondent al Academiei Britanice. (1966). A primit diplome onorifice de la Alma Mater (1985) și altele.
Căsătorit în 1926 la Princeton, trei copii.
Logica
Church a explorat probleme de semantică logică și de logică matematică . În 1935, a construit primul exemplu de problemă de masă nerezolvabilă, care constă în cerința de a găsi un algoritm pentru rezolvarea unor serii de... probleme „single”. O problemă de masă nu este rezolvabilă dacă soluția ei, adică algoritmul necesar, nu există.”
El a dat, de asemenea, o dovadă a insolubilității problemei pentru un calcul cu predicat îngust , adică o dovadă că nu există un algoritm care, prin forma formulei acestui calcul, să determine dacă această formulă exprimă un adevăr logic general sau nu. În Introducerea sa în logica matematică, Church și-a clarificat înțelegerea metodei logicii matematice prin definirea conceptelor sale primare. El a detaliat calculul propozițional sau calculul propozițional , calculul funcțional de ordinul întâi, calculul funcțional pur de ordinul întâi și calculul funcțional de ordinul doi. Church a definit categorii precum nume, constante și variabile, funcții, simboluri, conective, operatori, cuantificatori , probleme de rezoluție , inconsecvența și completitudinea sistemului de axiome etc.
El a prezentat logica matematică ca logică formală, al cărei subiect este studiat prin metoda construirii limbajelor formalizate. „De obicei , logica se preocupă de analiza propozițiilor și a demonstrațiilor; el scrie, „accentul se pune pe formă, spre deosebire de conținut”. Deoarece limbile naturale de-a lungul istoriei s-au dezvoltat sub influența nevoilor istorice de comunicare ușoară, ele nu se disting prin acuratețe, ceea ce duce la erori de raționament. Pentru a evita eventualele erori, Church a propus folosirea în scopuri logice a unui limbaj formalizat special creat de el, în care numele proprii să fie transferate din limbile obișnuite. Mai mult, fiecare nume trebuia să aibă exact o semnificație dacă sarcina era de a asigura lipsa de ambiguitate în limbile oficializate. Church a definit propoziția după cum urmează: „Orice concept al unei valori de adevăr se numește propoziție, indiferent dacă este sau nu sensul oricărei propoziții”.
Lucrări traduse în rusă
- Introducere în logica matematică. Volumul 1. - M .: Editura de literatură străină , 1960.
- Al doilea volum al acestei cărți nu a fost niciodată publicat în URSS/RF.
Vezi și
- calcul lambda
- teza Church-Turing
- Programare functionala
- Teoria computabilității
- Teoria algoritmilor
- Teorema Church-Rosser
- Teorema Church-Turing
- Codificarea bisericii
Note
- ↑ 1 2 3 4 5 6 Arhiva MacTutor Istoria Matematicii
- ↑ 1 2 Biserica Alonzo // Enciclopedia Brockhaus (germană) / Hrsg.: Bibliographisches Institut & FA Brockhaus , Wissen Media Verlag
- ↑ 1 2 Alonzo Church // Proiectul Internet Philosophy Ontology
- ↑ Introducere Biserica Alonzo: Viață și muncă
- ↑ 1 2 3 4 5 6 Comunitatea Wikipedia în engleză Wikipedia (engleză) - 2001.
- ↑ Genealogia matematică (engleză) - 1997.
- ↑ Biserica, Alonso. O problemă de nerezolvată a teoriei numerelor elementare (engleză) // American Journal of Mathematics : jurnal. - 1936. - Vol. 58 , nr. 58 . - P. 345-363 . - doi : 10.2307/2371045 . — .
Literatură
- Z. A. Kuzicheva, A. S. Kuzichev. Biserica // New Philosophical Encyclopedia : în 4 volume / prev. științific-ed. sfatul lui V. S. Stepin . — Ed. a II-a, corectată. si suplimentare - M . : Gândirea , 2010. - 2816 p.
Link -uri
 Site-uri tematice | ||||
|---|---|---|---|---|
| Dicționare și enciclopedii | ||||
| Genealogie și necropole | ||||
| ||||