13 relationer: Alfred North Whitehead, Axiom, Bertrand Russell, Formellt system, Gödels ofullständighetssatser, Henry M. Sheffer, Isaac Newton, Kurt Gödel, Logicism, Logik, Philosophiae Naturalis Principia Mathematica, Satslogik, Sheffers streck.
Alfred North Whitehead
Alfred North (A.N.) Whitehead, född 15 februari 1861 i Ramsgate, Kent, död 30 december 1947 i Cambridge, Massachusetts, var en brittisk filosof och matematiker.
Ny!!: Principia Mathematica och Alfred North Whitehead · Se mer »
Axiom
Ett axiom (latin axioma, av gr ἀξίωμα, 'värde', 'åsikt') är i vardagliga sammanhang ett självklart påstående vars sanningshalt inte kan betvivlas.
Ny!!: Principia Mathematica och Axiom · Se mer »
Bertrand Russell
Bertrand Arthur William Russell, från 1931 3:e earl Russell, född 18 maj 1872 i Trellech, Monmouthshire, Wales, död 2 februari 1970 i Penrhyndeudraeth, Gwynedd, Wales, var en brittisk filosof, logiker, matematiker, historiker och pacifist.
Ny!!: Principia Mathematica och Bertrand Russell · Se mer »
Formellt system
Ett formellt system, även kallat axiomatiskt system, är ursprungligen en symbolisk representation av en matematisk teori.
Ny!!: Principia Mathematica och Formellt system · Se mer »
Gödels ofullständighetssatser
Gödels ofullständighetsteorem är två fundamentala teorem inom den moderna logiken.
Ny!!: Principia Mathematica och Gödels ofullständighetssatser · Se mer »
Henry M. Sheffer
Henry M. Sheffer, född 1882, död 1964, amerikansk logiker, inskriven i logikhistorien som upphovsman till det så kallade Sheffers streck.
Ny!!: Principia Mathematica och Henry M. Sheffer · Se mer »
Isaac Newton
Sir Isaac Newton, född 25 december 1642 (4 januari 1643 enligt nya stilen) i Woolsthorpe-by-Colsterworth i Lincolnshire, död 20 mars (31 mars enligt nya stilen) 1727 i Kensington i London, var en engelsk naturvetenskapsman, matematiker, teolog (antitrinitarian) och alkemist.
Ny!!: Principia Mathematica och Isaac Newton · Se mer »
Kurt Gödel
Kurt Gödel, född 28 april 1906 i Brünn (nu Brno i Tjeckien), död 14 januari 1978 i Princeton, var en österrikisk, senare amerikansk, logiker och matematiker.
Ny!!: Principia Mathematica och Kurt Gödel · Se mer »
Logicism
Logicismen är ett program i matematisk grundvalsforskning som lär att matematik är detsamma som logik och kan härledas från denna.
Ny!!: Principia Mathematica och Logicism · Se mer »
Logik
Logik är i bred bemärkelse läran om vad som gör ett resonemang eller en argumentation giltig.
Ny!!: Principia Mathematica och Logik · Se mer »
Philosophiae Naturalis Principia Mathematica
Philosophiæ Naturalis Principia Mathematica (latin för naturfilosofins matematiska principer, ofta förkortat till enbart Principia) är ett banbrytande vetenskapligt arbete av Isaac Newton (1642–1727), som utkom år 1687.
Ny!!: Principia Mathematica och Philosophiae Naturalis Principia Mathematica · Se mer »
Satslogik
Satslogiken är ett formellt logiskt system med väldefinierad syntax, avsett att symboliskt hantera språkliga satser, vilka uttrycker påståenden, och från dessa med giltiga slutledningar, dra slutsatser.
Ny!!: Principia Mathematica och Satslogik · Se mer »
Sheffers streck
Sheffers streck är ett logiskt konnektiv, som symboliseras med tecknet | eller alternativt ↑.