Suchergebnisse
Zur Navigation springen
Zur Suche springen
- '''Julius Richard Büchi''' (* [[1924]]; † [[1984]]) war ein Schweizer Logiker und Mathematiker. |KURZBESCHREIBUNG=Schweizer Logiker und Mathematiker …2 KB (212 Wörter) - 15:35, 31. Aug. 2016
- …inceton (New Jersey)|Princeton]]) war ein US-amerikanischer mathematischer Logiker. [[Kategorie:Mathematischer Logiker (20. Jahrhundert)]] …3 KB (331 Wörter) - 18:57, 30. Dez. 2020
- …Ausdruck '''logische Inversion''' bezeichnen [[Paul Lorenzen]] und andere Logiker den Vorgang der ''Umkehrung'' einer [[Kalkül | Kalkülregel]]. …721 Bytes (109 Wörter) - 13:52, 24. Jan. 2018
- …onstheorem wurde zuerst von dem US-amerikanischen Logiker [[William Craig (Logiker)|William Craig]] (1918–2016) 1953 aufgestellt. Es wurde von S. Maehara und …2 KB (333 Wörter) - 22:12, 10. Nov. 2022
- …]]; † [[28. März]] [[1947]] in [[Moskau]]) war ein [[Russland|russischer]] Logiker und Mathematiker. [[Kategorie:Mathematischer Logiker (20. Jahrhundert)]] …4 KB (489 Wörter) - 19:47, 3. Apr. 2023
- [[Kategorie:Logiker]] |KURZBESCHREIBUNG=deutsch-amerikanischer Logiker und Philosoph …5 KB (557 Wörter) - 18:29, 18. Sep. 2022
- …i 2017, abgerufen am 14. Mai 2017</ref> war ein japanischer mathematischer Logiker, bekannt für Beiträge zur [[Beweistheorie]]. [[Kategorie:Mathematischer Logiker (20. Jahrhundert)]] …5 KB (646 Wörter) - 15:29, 6. Jun. 2024
- …gacy.com|language=en}}</ref> war ein amerikanischer [[Informatiker]] und [[Logiker]] sowie Professor für Informatik an der [[University at Albany]]. |KURZBESCHREIBUNG=amerikanischer Informatiker und Logiker …4 KB (574 Wörter) - 21:36, 20. Dez. 2024
- …in [[Melbourne]]; † [[13. Januar]] [[2011]] ebenda) war ein australischer Logiker, der sich mit Algebra, axiomatischer Mengenlehre und insbesondere mit [[Des [[Kategorie:Mathematischer Logiker (20. Jahrhundert)]] …6 KB (817 Wörter) - 16:36, 9. Mai 2023
- …orm abgebildet werden. Die Herbrand-Expansion wurde nach dem französischen Logiker [[Jacques Herbrand]] benannt. …2 KB (362 Wörter) - 20:08, 12. Jan. 2020
- …2007, ISBN 978-0-8176-4367-6.</ref>) ist ein französischer mathematischer Logiker und Mathematiker. [[Kategorie:Mathematischer Logiker (20. Jahrhundert)]] …6 KB (793 Wörter) - 16:13, 2. Mär. 2025
- [[Kategorie:Mathematischer Logiker (20. Jahrhundert)]] |KURZBESCHREIBUNG=US-amerikanischer Mathematiker und Logiker …7 KB (888 Wörter) - 08:08, 29. Apr. 2022
- …] in [[Madison (Wisconsin)|Madison]], [[Wisconsin]]) war US-amerikanischer Logiker und Mathematiker. [[Kategorie:Mathematischer Logiker (20. Jahrhundert)]] …7 KB (880 Wörter) - 10:06, 4. Nov. 2023
- …doch den meisten) Inferenzoperationen zukommen. Diese sind zuerst von dem Logiker [[Alfred Tarski]] untersucht worden. Tarski nennt die folgenden Eigenschaft …3 KB (341 Wörter) - 11:04, 3. Mai 2024
- …oblem (einem der Hauptprobleme des ATP) versuchten sich schon der führende Logiker [[Alfred Tarski]] und seine Schule vergeblich. Die Lösung wurde von Seiten [[Kategorie:Mathematischer Logiker (20. Jahrhundert)]] …5 KB (637 Wörter) - 22:28, 2. Dez. 2022
- …llermeisten Konstruktivisten als unpraktikabel angesehen. Der konstruktive Logiker [[Anne Troelstra|A. S. Troelstra]] formulierte dazu in ''Constructivism in …3 KB (372 Wörter) - 16:54, 7. Mär. 2021
- [[Kategorie:Mathematischer Logiker (20. Jahrhundert)]] |KURZBESCHREIBUNG=norwegischer Mathematiker, Logiker und Philosoph …9 KB (1.112 Wörter) - 08:03, 21. Jun. 2023
- …[[Aristoteles]], der in historischem Sinn geradezu mustergültig klassische Logiker, Sachverhalte nichtklassischer Logik. Es ist – je nach Zusammenhang&nb …6 KB (857 Wörter) - 09:42, 13. Mai 2021
- * 2011 [[Anand Pillay (Logiker)|Anand Pillay]], ''First order theories.'' …4 KB (463 Wörter) - 19:09, 2. Jan. 2025
- …er Mathematik|Gebiet]] der [[Mengenlehre]], welcher auf den amerikanischen Logiker [[Robert Vaught|Robert Lawson Vaught]] (1926–2002) zurückgeht. Der Satz beh …4 KB (539 Wörter) - 16:31, 13. Jan. 2024