Resultats de la cerca

Professor a Jena 1879-1918, la publicació del seu primer llibre, Begriffsschrift, eine der arithmetischen nachgebildete Formelsprache des reinen Denkens ‘Ideografia, un llenguatge formalitzat del pensament pur a base del llenguatge aritmètic’, 1879, marca una de les dates principals del desenvolupament de la lògica matemàtica Són contribucions seves la logicització de l’aritmètica, l’argument que la matemàtica es redueix a la lògica, l’elaboració del càlcul proposicional, la noció de funció proposicional i de quantificació i l’anàlisi lògica de la prova Fou, a més, el primer autor que…

Els més coneguts són per a tot x ∀ x quantificador universal existeix x ∃ x quantificador existencial Una frase com “existeix un home que és odiat per tots els homes” podria ésser formalitzada per ∃ x /∀ y x és odiat per y L’ús dels quantificadors és degut a Frege 1879 El símbol ∃d’existència és degut a Peano 1894, i el ∀, a Hilbert

Fou professor a la Universitat d’Amsterdam 1912-55 i un dels fundadors de la topologia moderna Els seus treballs bàsics es desenvoluparen en els camps de l’epistemologia i de la fonamentació de les matemàtiques Fou el principal representant de l' escola matemàtica intuïcionista , que s’oposa a les escoles axiomàtiques, de David Hilbert, i logicista, iniciada per Gottlieb Frege i continuada per Giuseppe Peano i Bertrand Russell Brouwer construí una certa noció de conjunt i la definició de continuïtat a partir del nombre zero La postura intuïcionista es nega a acceptar l’existència…

Autodidacte, s’introduí en matemàtica mitjançant l’estudi de les obres de Lagrange i les de Laplace, i el 1849 obtingué una càtedra al Queen's College de Corcaigh Féu importants treballs en anàlisi matemàtica i contribuí a la fixació del llavors naixent concepte d’invariància Però la seva aportació més important fou l’inici de la lògica simbòlica És autor de The Mathematical Analysis of Logic 1847, The Calculus of Logic 1848 i de la seva obra mestra, An Investigation into the Laws of Thought, on which are Founded the Mathematical Theories of Logic and Probabilities 1854 El seu treball, que…

Estudià a Cambridge, i professà a diversos llocs d’Anglaterra 1911-24 i, als EUA, a Harvard 1924-47 El seu primer camp de reflexió fou el dels fonaments de la matemàtica, on seguí les idees de Peano, Cantor i Frege collaborà amb Bertrand Arthur William Russell en la redacció dels Principia Mathematica 3 volums, 1910-13 Iniciador del neorealisme anglès, concebia tot fet event com un organisme complex de “prehensions”, mot amb què significava tant l’aspecte subjectiu com l’objectiu de l’aprehensió elaboració constitutiva de l’objecte de coneixement Entre els seus propòsits hi…

El concepte de nombre ha anat evolucionant al llarg de la història així, al principi anava enllaçat amb el simple ús de xifres o guarismes per a comptar sistemes de numeració Els nombres 1, 2, 3, 4, etc, ja eren usats en les antigues cultures babilònica, egípcia, xinesa la qual coneixia els negatius i índia la qual introduí el zero Aquest ús de xifres no implicava, però, cap concepte abstracte de nombre A l’antiga Grècia els pitagòrics consideraren que el nombre era una estructura determinada, immanent a totes les coses això generà la numerologia grega…

Aquesta definició és força descriptiva, però incompleta, i per això diversos matemàtics han intentat de definir la matemàtica tot assenyalant-ne els trets més característics Així, segons B Russell, la matemàtica consisteix només en afirmacions tals com “si una proposició és veritable referida a un objecte, aleshores una altra proposició també ho és”, de manera que la matemàtica és aquell camp en què hom no sap mai de què parla ni si allò que diu és veritat o no Dins aquesta mateixa línia, H Poincaré diu que els matemàtics no estudien objectes, sinó relacions entre objectes no els interessa la…