Taula de continguts
24 les relacions: Alfred North Whitehead, Bertrand Russell, Cronologia de la intel·ligència artificial, Demostració (matemàtiques), Dones i matemàtiques, Emil Post, Fonaments de la matemàtica, Frank Ramsey, Georg Cantor, Gottlob Frege, Haskell Curry, Heinrich Scholz, Kurt Gödel, Lògica, Lògica algebraica, Lògica tradicional, Llenguatge formalitzat, Llibres clàssics de la ciència, Logicisme, Ludwig Wittgenstein, Paul Bernays, Principia Mathematica, Singletó, Teoria de conjunts.
Alfred North Whitehead
va ser un matemàtic i filòsof anglès.
Veure Principia Mathematica (Russell-Whitehead) і Alfred North Whitehead
Bertrand Russell
fou un matemàtic i filòsof gal·lès, un dels més influents del, guardonat amb el Premi Nobel de Literatura l'any 1950.
Veure Principia Mathematica (Russell-Whitehead) і Bertrand Russell
Cronologia de la intel·ligència artificial
Esquematització del prompting en IA Aquesta és una cronologia de la intel·ligència artificial, de vegades anomenada alternativament intel·ligència sintètica, amb la seva evolució al llarg dels segles.
Veure Principia Mathematica (Russell-Whitehead) і Cronologia de la intel·ligència artificial
Demostració (matemàtiques)
En matemàtiques, una demostració, també dita prova, és un raonament lògic que estableix la veritat d'una proposició matemàtica.
Veure Principia Mathematica (Russell-Whitehead) і Demostració (matemàtiques)
Dones i matemàtiques
Les dones matemàtiques han lluitat històricament per obrir-se pas en el camp de les ciències, un espai tradicionalment masculí i vetat per a elles.
Veure Principia Mathematica (Russell-Whitehead) і Dones i matemàtiques
Emil Post
va ser un matemàtic nord-americà, nascut al que actualment és Polònia.
Veure Principia Mathematica (Russell-Whitehead) і Emil Post
Fonaments de la matemàtica
Fonaments de la matemàtica és el terme amb què sovint s'identifiquen certs camps de la matemàtica, com ara la filosofia de la matemàtica, la lògica matemàtica, la teoria de conjunts axiomàtica, la teoria de la demostració, la teoria de models i la teoria de la recursió, que tenen en comú la cerca d'una fonamentació per la matemàtica.
Veure Principia Mathematica (Russell-Whitehead) і Fonaments de la matemàtica
Frank Ramsey
va ser un matemàtic i filòsof anglès, els estudis i activitat docent van tenir lloc a la Universitat de Cambridge.
Veure Principia Mathematica (Russell-Whitehead) і Frank Ramsey
Georg Cantor
Georg Ferdinand Ludwig Philipp Cantor (Sant Petersburg, 3 de març de 1845 - Halle, 6 de gener de 1918) fou un matemàtic i filòsof alemany, fundador de la teoria de conjunts moderna.
Veure Principia Mathematica (Russell-Whitehead) і Georg Cantor
Gottlob Frege
Gottlob Frege (8 de novembre de 1848 a Wismar - 26 de juliol de 1925 a Bad Kleinen, Imperi alemany) fou un filòsof i matemàtic alemany. Va ser professor de matemàtiques a la Universitat de Jena, i molts entenen que va ser el pare de la filosofia analítica, especialitzant-se en la filosofia del llenguatge, la lògica i les matemàtiques.
Veure Principia Mathematica (Russell-Whitehead) і Gottlob Frege
Haskell Curry
va ser un matemàtic i lògic estatunidenc.
Veure Principia Mathematica (Russell-Whitehead) і Haskell Curry
Heinrich Scholz
va ser un filòsof, teòleg i lògic alemany.
Veure Principia Mathematica (Russell-Whitehead) і Heinrich Scholz
Kurt Gödel
fou un matemàtic austríac-americà, un lògic profund que va desenvolupar el teorema d'incompletesa, afirmant que qualsevol sistema axiomàtic consistent prou potent per descriure l'aritmètica dels enters permet proposicions (sobre enters) que no es poden demostrar ni refutar.
Veure Principia Mathematica (Russell-Whitehead) і Kurt Gödel
Lògica
Aplicació lògica La lògica és l'estudi dels sistemes de raonament que un ésser racional podria utilitzar per raonar.
Veure Principia Mathematica (Russell-Whitehead) і Lògica
Lògica algebraica
Dins la lògica matemàtica, la lògica algebraica és el raonament obtingut mitjançant la manipulació d'equacions amb variables lliures.
Veure Principia Mathematica (Russell-Whitehead) і Lògica algebraica
Lògica tradicional
En filosofia, la lògica tradicional, també coneguda com a lògica sil·logística o lògica aristotèlica, és un nom fluix per a una aproximació a la lògica que va començar amb Aristòtil i que es va desenvolupar a l'antiguitat principalment pels seus seguidors, els peripatètics, però que va caure en gran manera en decadència al.
Veure Principia Mathematica (Russell-Whitehead) і Lògica tradicional
Llenguatge formalitzat
Una de les característiques essencials de la ciència és el llenguatge formalitzat o, més ben dit, el procés de formalització del llenguatge.
Veure Principia Mathematica (Russell-Whitehead) і Llenguatge formalitzat
Llibres clàssics de la ciència
Es consideren clàssics de la ciència aquells llibres (o articles) relacionats amb ciència, matemàtiques, i en algun cas també enginyeria, sobre els quals hi ha consens quant a la rellevància històrica dels descobriments o avanços tècnics que hi van aportar.
Veure Principia Mathematica (Russell-Whitehead) і Llibres clàssics de la ciència
Logicisme
El logicisme en la filosofia de la matemàtica, és la doctrina que sosté que la matemàtica és, en algun sentit, reductible a la lògica.
Veure Principia Mathematica (Russell-Whitehead) і Logicisme
Ludwig Wittgenstein
fou un filòsof austríac, nascut en una família de l'alta burgesia industrial d'ascendència jueva, rica i culta, famós per les seves recerques sobre el llenguatge.
Veure Principia Mathematica (Russell-Whitehead) і Ludwig Wittgenstein
Paul Bernays
va ser un matemàtic suís que va fer contribucions significatives a la lògica matemàtica, teoria axiomàtica de conjunts, i la filosofia de la matemàtica.
Veure Principia Mathematica (Russell-Whitehead) і Paul Bernays
Principia Mathematica
* Física: Philosophiae Naturalis Principia Mathematica, obra d'Isaac Newton (1687), que estableix les bases de la mecànica clàssica.
Veure Principia Mathematica (Russell-Whitehead) і Principia Mathematica
Singletó
En matemàtiques, un singletó, també conegut com un conjunt unitari, és un conjunt amb exactament un element.
Veure Principia Mathematica (Russell-Whitehead) і Singletó
Teoria de conjunts
La teoria de conjunts és la branca de les matemàtiques que estudia els conjunts.
Veure Principia Mathematica (Russell-Whitehead) і Teoria de conjunts