Resultats de la cerca

De fet, però, el logicisme es troba amb moltes dificultats a l’hora de situar tota la matemàtica dins el marc lògic formalisme

Conseller de l’elector de Magúncia 1672, fou enviat a París, on residí quatre anys, decisius per a la seva formació Sis anys abans, però, quan aspirava a una plaça de professor de filosofia a Leipzig, ja publicà una Dissertatio de arte combinatoria , inspirada en l' Ars magna de Llull Bibliotecari i historiògraf dels ducs de Hannover, viatjà per tot Alemanya i Itàlia intensificà, així, els seus contactes amb molts savis de l’època També es relacionà amb el cercle lullià de Magúncia i fou amic de Buchels, collaborador de Salzinger en l’edició maguntina de les obres de Llull 1721-42 Entre les…

Leibniz pretenia, amb això, de fonamentar una ciència universal en un llenguatge formalitzat, que procedís a la manera de la lògica i la matemàtica, gràcies al qual poguessin ésser expressats tots els conceptes científics i filosòfics, per damunt de la parcialitat i les diferències dels altres llenguatges Leibniz considerava que Ramon Llull havia anticipat ja aquest mètode Leibniz ha estat considerat com un dels precursors dels intents més moderns de formalització del llenguatge, sobretot mitjançant la lògica matemàtica

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,…

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…

En aquest sentit hom parla d' existència ideal, mental o lògica , en contraposició a l’existència pròpiament dita o existència real Així mateix, hom sol distingir entre existència matemàtica i existència física

Professor de la Universitat de Pennsilvània 1941, fou el creador de la lògica combinatòria en sistematitzar la teoria esbossada per Schönfinkel durant el segon decenni del s XX L’estudi de les aplicacions d’aquests nous conceptes i l’extensió de llur camp d’acció constitueixen el material de Combinatory Logic 1958, escrita en collaboració amb Robert Feys Treballà també en els camps de la metalògica i la fonamentació de les matemàtiques, adscrit en tot a l’escola formalista

La matèria que es presta més a ésser tractada en forma axiomàtica és la matemàtica, bé que el mètode és aplicable al desenvolupament teòric d’altres ciències física, economia, estadística, etc Cada una de les proposicions admeses com a base de l’estudi axiomàtic d’una teoria és anomenada axioma o postulat aquests dos mots, en matemàtiques, són considerats sinònims Un sistema de postulats és un conjunt de proposicions breus que tradueixen les veritats fonamentals de la teoria a la qual serveixen de base És desitjable que els postulats d’un sistema siguin simples , és a dir, que…

Fou un important representant del pitagorisme a la Magna Grècia i amic de Plató Estudià principalment qüestions relacionades amb la matemàtica i desenvolupà una important activitat política Segons Eratòstenes fou el primer que intentà de solucionar el problema de la duplicació del cub, i Diògenes Laerci li atribuí l’aplicació de les matemàtiques a la mecànica

La filosofia escolàstica en distinguí tres el primer, propi de la física, fa abstracció de les particularitats individuals i contingents dels objectes el segon, propi de la matemàtica, fa abstracció de la matèria sensible i concep els objectes en tant que quantitat, nombre o extensió i el tercer, propi de la metafísica, fa abstracció de tota matèria i concep els objectes purament immaterials