Logo
Unionpedia
Meddelelse
Nu på Google Play
Ny! Hent Unionpedia på din Android™ enhed!
Hent
Hurtigere adgang end browser!
 

Matematisk logik og Principia Mathematica

Genveje til: Forskelle, Ligheder, Jaccard lighed Koefficient, Referencer.

Forskel mellem Matematisk logik og Principia Mathematica

Matematisk logik vs. Principia Mathematica

Matematisk logik (også kendt som symbolsk logik) er et felt i matematikken med tæt forbindelse til matematikkens grundlag, datalogi og filosofisk logik. Forsiden af den forkortede udgave af ''Principia Mathematica'' Principia Mathematica er en bog om matematisk logik skrevet af Bertrand Russell og Alfred North Whitehead, udgivet i tre bind i henholdsvis 1910, 1912 og 1913.

Ligheder mellem Matematisk logik og Principia Mathematica

Matematisk logik og Principia Mathematica har 9 ting til fælles (i Unionpedia): Aksiom, Bertrand Russell, Bevis (matematik), Cambridge University Press, Gödels ufuldstændighedssætning, Kurt Gödel, Logik, Stanford Encyclopedia of Philosophy, Stephen Cole Kleene.

Aksiom

Et aksiom er en grundantagelse (sætning), der antages at være sand uden bevis.

Aksiom og Matematisk logik · Aksiom og Principia Mathematica · Se mere »

Bertrand Russell

Bertrand Arthur William Russell, den 3.

Bertrand Russell og Matematisk logik · Bertrand Russell og Principia Mathematica · Se mere »

Bevis (matematik)

Et matematisk bevis er en udledning af en formel, sætning eller et udtryk.

Bevis (matematik) og Matematisk logik · Bevis (matematik) og Principia Mathematica · Se mere »

Cambridge University Press

Cambridge University Press er et engelsk universitetsforlag.

Cambridge University Press og Matematisk logik · Cambridge University Press og Principia Mathematica · Se mere »

Gödels ufuldstændighedssætning

Gödels ufuldstændighedssætning er en sætning indenfor matematisk logik, som blev bevist af Kurt Gödel, som svar på Hilberts andet problem.

Gödels ufuldstændighedssætning og Matematisk logik · Gödels ufuldstændighedssætning og Principia Mathematica · Se mere »

Kurt Gödel

Kurt Friedrich Gödel (født 28. april 1906 i Brno, død 14. januar 1978 i Princeton) var østrigsk logiker og matematiker.

Kurt Gödel og Matematisk logik · Kurt Gödel og Principia Mathematica · Se mere »

Logik

Den græske tænker og filosof Aristoteles anses som faderen til den klassiske logik. Logik (fra græsk λόγος, logos.

Logik og Matematisk logik · Logik og Principia Mathematica · Se mere »

Stanford Encyclopedia of Philosophy

Stanford Encyclopedia of Philosophy (SEP) er en filosofisk online-encyklopædi, som drives af Stanford University.

Matematisk logik og Stanford Encyclopedia of Philosophy · Principia Mathematica og Stanford Encyclopedia of Philosophy · Se mere »

Stephen Cole Kleene

Stephen Cole Kleene (født 5. januar 1909, død 25. januar 1994) var en amerikansk matematiker, hvis arbejde ved University of Wisconsin-Madison hjalp med til at lægge grunden for den teoretiske datalogi.

Matematisk logik og Stephen Cole Kleene · Principia Mathematica og Stephen Cole Kleene · Se mere »

Ovenstående liste besvarer følgende spørgsmål

Sammenligning mellem Matematisk logik og Principia Mathematica

Matematisk logik har 52 relationer, mens Principia Mathematica har 14. Da de har til fælles 9, den Jaccard indekset er 13.64% = 9 / (52 + 14).

Referencer

Denne artikel viser forholdet mellem Matematisk logik og Principia Mathematica. For at få adgang hver artikel, hvorfra oplysningerne blev ekstraheret, kan du besøge:

Hej! Vi er på Facebook nu! »