Taula de continguts
12 les relacions: Axioma, Biosofia, Dècada del 1880, Frank Ramsey, Gottlob Frege, Julius Wilhelm Richard Dedekind, Lògica, Lògica clàssica, Llenguatge formalitzat, Louis Couturat, Luitzen Egbertus Jan Brouwer, Teorema d'incompletesa de Gödel.
Axioma
Un axioma tradicionalment és un argument que, o bé és totalment cert per si mateix, o bé com a mínim segons els coneixements actuals es pot donar per innegable.
Veure Logicisme і Axioma
Biosofia
Biosofia, prové de les arrels gregues Bios i Sophos, entenent per aquesta unió de termes, saviesa de la vida.
Veure Logicisme і Biosofia
Dècada del 1880
Formalment, la dècada del 1880 comprèn el període que va des de l'1 de gener de 1880 fins al 31 de desembre de 1889.
Veure Logicisme і Dècada del 1880
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 Logicisme і Frank Ramsey
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 Logicisme і Gottlob Frege
Julius Wilhelm Richard Dedekind
va ser un matemàtic alemany que va exercir una forta influència en els matemàtics posteriors, sobretot en el camp de la teoria de nombres, l'àlgebra abstracta (particularment la teoria dels anells) i els fonaments axiomàtics de l'aritmètica.
Veure Logicisme і Julius Wilhelm Richard Dedekind
Lògica
Aplicació lògica La lògica és l'estudi dels sistemes de raonament que un ésser racional podria utilitzar per raonar.
Veure Logicisme і Lògica
Lògica clàssica
La lògica clàssica o lògica estàndard és la classe de lògica intensament estudiada i més àmpliament utilitzada.
Veure Logicisme і Lògica clàssica
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 Logicisme і Llenguatge formalitzat
Louis Couturat
va ser un filòsof, lògic, lingüista i matemàtic francès.
Veure Logicisme і Louis Couturat
Luitzen Egbertus Jan Brouwer
va ser un matemàtic neerlandès.
Veure Logicisme і Luitzen Egbertus Jan Brouwer
Teorema d'incompletesa de Gödel
Kurt Gödel a 19 anys, cinc anys abans de la demostració dels teoremes. En lògica matemàtica, els teoremes d'incompletesa de Gödel són dos cèlebres teoremes demostrats per Kurt Gödel l'any 1930.