21 Ergebnisse für: formalization
-
-
-
Personal data file for Prof. Stoyan
http://wwwdh.informatik.uni-erlangen.de/IMMD8/staff/Stoyan/
Keine Beschreibung vorhanden.
-
-
-
Category:Philosophical logic – Wikimedia Commons
https://commons.wikimedia.org/wiki/Category:Philosophical_logic?uselang=de
Keine Beschreibung vorhanden.
-
-
-
Homepage of Christoph Benzmueller
http://page.mi.fu-berlin.de/cbenzmueller/
Keine Beschreibung vorhanden.
-
Formel von Kurt Gödel: Mathematiker bestätigen Gottesbeweis - SPIEGEL ONLINE
http://www.spiegel.de/wissenschaft/mensch/formel-von-kurt-goedel-mathematiker-bestaetigen-gottesbeweis-a-920455.html
Ein Wesen existiert, das alle positiven Eigenschaften in sich vereint. Das bewies der legendäre Mathematiker Kurt Gödel mit einem komplizierten Formelgebilde. Zwei Wissenschaftler haben diesen Gottesbeweis nun überprüft - und für gültig befunden.