Godel - PDFSEARCH.IO - Document Search Engine

Godel
Results: 130

#	Item
51	Prominent Logicians from Aristotle to Godel 31 Add to Reading List Source URL: www.ontologymirror.com Language: English - Date: 2014-05-09 04:12:47 Logic Diodorus Cronus Chrysippus Aristotle Zeno of Citium Philo the Dialectician Boethius Stoicism Gottlob Frege Philosophy Ancient Greek philosophers Humanities
52	Forschungsdatenbank der Universität Zürich Philosophische Fakultät > Philosophisches Seminar > Allgemein > Prof. Dr. Katia Saporiti Gödel and Leibniz Summary / Zusammenfassung The idea of the project is to analyse th Add to Reading List Source URL: www.research-projects.uzh.ch Language: English - Date: 2014-11-01 20:50:06 Philosophy of mathematics Gottfried Leibniz Idealists Rationalists Kurt Gödel Mathematical logic Logic Philosophy Mathematics Science
53	History of Contemporary Logic from Boole to Godel Add to Reading List Source URL: www.ontologymirror.com Language: English - Date: 2014-05-09 04:12:40 Philosophers of mathematics Gottfried Leibniz Logicians Mathematical logic George Boole Calculus ratiocinator Characteristica universalis Thoralf Skolem Kurt Gödel Philosophy Mathematics Science
54	Absolute Provability and Safe Knowledge of Axioms (to appear in Leon Horsten and Philip Welch, eds., The Scope and Limits of Mathematical Knowledge) Timothy Williamson Add to Reading List Source URL: www.philosophy.ox.ac.uk Language: English - Date: 2014-10-24 05:59:46 Philosophical logic Formal systems Proof theory Model theory Axiom Mathematical proof Theorem Kurt Gödel Modal logic Logic Mathematics Mathematical logic
55	2010 Gödel Prize Call for Nominations The Gödel Prize for outstanding papers in the area of theoretical computer science is sponsored jointly by the European Association for Theoretical Computer Science (EATCS) and the Add to Reading List Source URL: www.eatcs.org Language: English - Date: 2014-01-29 10:45:05 Gödel Prize ACM SIGACT International Colloquium on Automata Languages and Programming Mike Paterson Symposium on Theory of Computing Shafi Goldwasser Association for Computing Machinery Silvio Micali Neil Immerman Computer science Theoretical computer science Applied mathematics
56	History of Contemporary Logic from Boole to Godel Add to Reading List Source URL: www.ontologyasia.com Language: English - Date: 2015-02-16 06:04:56 Philosophers of mathematics Gottfried Leibniz Logicians Mathematical logic George Boole Calculus ratiocinator Characteristica universalis Thoralf Skolem Kurt Gödel Philosophy Mathematics Science
57	Prominent Logicians from Aristotle to Godel 31 Add to Reading List Source URL: www.ontologyasia.com Language: English - Date: 2015-02-16 06:05:05 Logic Diodorus Cronus Chrysippus Aristotle Zeno of Citium Philo the Dialectician Boethius Stoicism Gottlob Frege Philosophy Ancient Greek philosophers Humanities
58	History of Contemporary Logic from Boole to Godel Add to Reading List Source URL: www.ontologyafrica.com Language: English - Date: 2014-05-09 04:11:04 Philosophers of mathematics Gottfried Leibniz Logicians Mathematical logic George Boole Calculus ratiocinator Characteristica universalis Thoralf Skolem Kurt Gödel Philosophy Mathematics Science
59	History of Contemporary Logic from Boole to Godel Add to Reading List Source URL: www.ontologysa.com Language: English - Date: 2014-05-09 04:13:13 Philosophers of mathematics Gottfried Leibniz Logicians Mathematical logic George Boole Calculus ratiocinator Characteristica universalis Thoralf Skolem Kurt Gödel Philosophy Mathematics Science
60	Justin Clarke-Doane University of Birmingham Monash University [This is a corrected version of an article which appears in Noûs, Vol. 47.] Add to Reading List Source URL: files.nyu.edu Language: English - Date: 2014-07-29 01:53:21 Proof theory Model theory Formal systems Continuum hypothesis Forcing Zermelo–Fraenkel set theory Conjecture Axiom Kurt Gödel Mathematical logic Logic Mathematics