Alonzo Church: Malsamoj inter versioj
| [nekontrolita versio] | [nekontrolita versio] |
Enhavo forigita Enhavo aldonita
konvertilo (diskuto) e Aŭtomata konvertado |
Neniu resumo de redakto |
||
Linio 7:
Li estas plej konata pro disvolvi la [[lambdokalkulo]] kaj pro lia referaĵo de [[1936]] kiu montris la ekziston de [[nedecideblaj problemoj]] en la kalkulo. Tiu rezulto antaŭis la fama laboro de [[Alan TURING]] pri la [[haltproblemo]] ankaŭ kiu demonstris la ekziston de nesolveblaj problemoj per meĥanika maniero. Church direktis la doktora tezo de Turing, en kiu ili montris la ekvivalenton de la lambdokalkulo kaj la maŝino turinga (uzita en la haltproblema laboro de Turing) kaj sekve montris ke diversaj aliaj meĥanikaj komput-sistemoj havas ekvivalentajn kapablojn. Tiel rezultiĝis la [[tezo Church-Turing]], kiu estas konata ankaŭ kiel la tezo de Church aŭ la tezo de Turing ĉar estas disputo pri kiu unue proponis ĝin.
Church estas ankaŭ konata pro la Teoremo Church (1936), kiu demonstras ke ne estas decida [[procedo]] por [[aritmetiko]]. Lia laboro etendis tiu de [[Kurt GOEDEL]].
Church fondis la ''[[Ĵurnalo de Simbola Logiko|Ĵurnalon de Simbola Logiko]]'' en [[1936]] kaj daŭris kiel ĝia redaktoro ĝis [[1979]]. Li verkis la libron ''Enkonduko al Matematika Logiko'' en [[1956]].
| |||