Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 228,865,443 papers from all fields of science
Search
Sign In
Create Free Account
Gödel's ontological proof
Known as:
Goedel ontological proof
, Godel's ontological proof
, Godels ontological proof
Expand
Gödel's ontological proof is a formal argument by the mathematician Kurt Gödel (1906–1978) for God's existence. More precisely, it presupposes the…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
4 relations
Automated theorem proving
Contingency (philosophy)
Modal logic
Proof assistant
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2013
2013
Implicações do estatuto ontológico do sujeito na teoria discursiva do Círculo Bakhtin, Medvedev, Voloshínov
V. L. Pires
,
Adail Sobral
2013
Corpus ID: 73649966
Propoe-se neste artigo abordar o que se refere a ontologia dialogica em perspectiva bakhtiniana por ser um topico essencial…
Expand
2012
2012
Reassessing the Gravity's Rainbow Pynchon Wiki: a new research paradigm?
S. Rowberry
2012
Corpus ID: 9959490
Since the Against the Day Wiki launched in October 2006, the Pynchon Wiki collection has received over twenty thousand edits…
Expand
2011
2011
An Ontological Approach to Quantifying the Functional Flexibility of Embedded Systems
Alan Stone
IEEE Systems Journal
2011
Corpus ID: 13543833
Quantitative measures of the system property flexibility have long eluded systems analysts. This paper introduces a mathematical…
Expand
Review
2011
Review
2011
Consistency, Truth and Ontology
E. Agazzi
Studia Logica: An International Journal for…
2011
Corpus ID: 33825805
After a brief survey of the different meanings of consistency, the study is restricted to consistency understood as non…
Expand
2009
2009
SIABO - Semantic Information Access through Biomedical Ontologies
T. Andreasen
,
H. Bulskov
,
+6 authors
Bartlomiej Antoni Szymczak
International Conference on Knowledge Engineering…
2009
Corpus ID: 34692655
The scientific aim of the project presented in this paper is to provide an approach to representing, organizing, and accessing…
Expand
2008
2008
An examination of the NANDA International taxonomy for domain completeness, ontological homogeneity, and clinical functionality.
G. V. Krogh
2008
Corpus ID: 208253450
Purpose This study aims to examine the taxonomy of NANDA International Nursing Diagnoses: Definitions and Classification 2007…
Expand
2008
2008
Beyond Ontological Reductionism, and Towards an Ontological Revolution
R. Tibaldeo
2008
Corpus ID: 171407202
2005
2005
An Unrelenting Mental Press: Israeli Gay Men's Ontological Duality and its Discontent
Amit Kama
2005
Corpus ID: 143787414
This study explores the linkages among 45 Israeli gay men's social circumstances and their intra- and interpersonal communication…
Expand
1985
1985
Can We Know God Directly? Rahner's Solution from Experience
P. Molnar
1985
Corpus ID: 160016392
A CCURACY IN thinking about God's transcendence and presence in creation has always been the priority in a Christian doctrine of…
Expand
1984
1984
Samuel Beckett and the Meaning of Being: A Study in Ontological Parable
L. Butler
1984
Corpus ID: 169322212
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE