- Churchs Satz
- Es gibt keine unfehlbare Methode zur Unterscheidung von Sätzen in 1.) von Nicht-Sätzen (nach ->"Hofstadter: Gödel, Escher, Bach")
Acronyms. 2013.
Acronyms. 2013.
Churchs Satz — Es gibt keine unfehlbare Methode zur Unterscheidung von Sätzen in 1.) von Nicht Sätzen (nach > Hofstadter: Gödel, Escher, Bach ) … Acronyms von A bis Z
Kleene — Stephen Cole Kleene (* 5. Januar 1909 in Hartford, Connecticut, USA; † 25. Januar 1994 in Madison, Wisconsin) war ein US amerikanischer Mathematiker und Logiker. Er gilt als einer der Begründer der theoretischen Informatik, besonders der formalen … Deutsch Wikipedia
Stephen Cole Kleene — (* 5. Januar 1909 in Hartford, Connecticut; † 25. Januar 1994 in Madison, Wisconsin) war ein US amerikanischer Mathematiker und Logiker. Er gilt als einer der Begründer der theoretischen Informatik, besonders der formalen Sprachen und der… … Deutsch Wikipedia
Stephen Kleene — Stephen Cole Kleene (* 5. Januar 1909 in Hartford, Connecticut, USA; † 25. Januar 1994 in Madison, Wisconsin) war ein US amerikanischer Mathematiker und Logiker. Er gilt als einer der Begründer der theoretischen Informatik, besonders der formalen … Deutsch Wikipedia