Gödel's ontological proof ^ingelesa (Q598840)

Wikidatatik

Nabigaziora joan Bilaketara joan

Gödel's formalization of the ontological argument for the existence of God using modal logic ^ingelesa

aldatu

Hizkuntza	Etiketa	Deskribapena	Goitizenak
euskara	Ez da etiketarik zehaztu	Ez da deskribapenik zehaztu
ingelesa	Gödel's ontological proof	Gödel's formalization of the ontological argument for the existence of God using modal logic

Adierazpenak

honako hau da

Argudio ontologiko

0 erreferentzia

Froga matematiko

0 erreferentzia

honen izena darama

Kurt Gödel

0 erreferentzia

aurkitzailea edo asmatzailea

Kurt Gödel

0 erreferentzia

aurkikuntza-data

1941

0 erreferentzia

formula

${\displaystyle {\begin{array}{rl}A1&(P(p)\land \Box \forall x(p(x)\to q(x)))\to P(q)\\A2&P(\neg p)\iff \neg P(p)\\T1&P(p)\to \Diamond \exists xp(x)\\D1&G(x)\iff \forall p(P(p)\to p(x))\\A3&P(G)\\T2&\Diamond \exists xG(x)\\D2&S(p,x)\iff p(x)\land \forall q(q(x)\to \Box \forall y(p(y)\to q(y)))\\A4&P(p)\to \Box P(p)\\T3&G(x)\to S(G,x)\\D3&E(x)\iff \forall p(S(p,x)\to \Box \exists yp(y))\\A5&P(E)\\T4&\Box \exists xG(x)\end{array}}}$

0 erreferentzia

erabiltzen du

logika modal

0 erreferentzia

Wikiproiektuek mantentzen du

Matematiken Wikiproiektua

0 erreferentzia

Identifikatzaileak

Freebase-ren identifikatzailea

/m/03855

Erreferentzia bat

non adierazia

Freebase Data Dumps ^ingelesa

argitaratze-data

28 urria 2013

Microsoft Academic identifikatzailea

2778817621

0 erreferentzia

 

Sitelinks

Wikipedia(11 sarrera)

aldatu

• cawiki Demostració ontològica de Gödel
• enwiki Gödel's ontological proof
• eswiki Prueba ontológica de Gödel
• etwiki Gödeli ontoloogiline jumalatõestus
• frwiki Preuve ontologique de Gödel
• huwiki Gödel ontológiai istenérve
• itwiki Prova ontologica di Gödel
• nowiki Gödels ontologiske bevis for Gud
• ptwiki Demonstração ontológica de Gödel
• trwiki Gödel'in ontolojik kanıtı
• zhwiki 哥德爾本體論證明

Wikiliburuak(0 sarrera)

aldatu

Wikialbisteak(0 sarrera)

aldatu

Wikiesanak(0 sarrera)

aldatu

Wikiteka(0 sarrera)

aldatu

Wikibertsitatea(0 sarrera)

aldatu

Wikibidaiak(0 sarrera)

aldatu

Wiktionary(0 sarrera)

aldatu

Beste guneak(0 sarrera)

aldatu

"https://www.wikidata.org/w/index.php?title=Q598840&oldid=2079175446"(e)tik jasota