Resultats de la cerca

L’axiomatització té la seva aplicació sobretot en lògica i matemàtiques L’axiomatització d’una ciència pot ésser feta de diverses maneres, puix que per a cada una hi ha diversos sistemes d’axiomes equivalents L’elecció d’un sistema d’axiomes o altre depèn del fi de base crítica dels fonaments, exposició didàctica, aplicacions tècniques, etc Una de les tendències de la lògica actual és de descobrir els mètodes més precisos d’axiomatització i una teoria completa dels símbols lògics per poder fomalitzar tant com sigui possible tots els sistemes L’…

Treballà en l’àmbit del càlcul de variacions, de la teoria de funcions de variable complexa, en òptica geomètrica construí aparells de projecció, mecànica i termodinàmica formulà el principi de Carathéodory Fou pioner de l’axiomatització de la teoria de la mesura i de la teoria de camps, que considerà relacionada amb el càlcul diferencial en derivades parcials

Estudià a París i a Göttingen Fou professor i director de l’Institut de Ciències Matemàtiques de Khàrkov 1917 i professor a la Universitat de Leningrad i membre de l’Acadèmia de Ciències de l’URSS A més dels seus treballs en teoria de funcions i equacions diferencials, fou un dels matemàtics, juntament amb Kolmogorov, que donà una axiomatització del càlcul de probabilitats, creant una construcció de tipus logicoformal independent del contingut semàntic de la probabilitat

Estudià amb L Brunschvicg i fou professor 1941 a la Sorbona Estudià la teoria de conjunts i els problemes derivats de la seva axiomatització, i s’interessà també per la gènesi de les teories científiques Participà en la resistència i fou afusellat pels nazis Entre les seves obres cal esmentar Méthode axiomatique et formalisme 1937, Remarques sur la formation de la théorie abstraite des ensembles 1938 Pòstumament fou publicada Sur la logique et la théorie de la science 1947

Els plans, juntament amb els punts i les rectes, són els elements geomètrics primitius en l’axiomatització de Hilbert de la geometria D’altra banda, un pla és determinat per tres punts no alineats, o bé per dues rectes que es tallin o siguin paralleles, o bé per un punt i una recta que no contingui el punt A l’espai euclidià ℝ 3 un pla pot ésser representat per l’equació A x— x 1 + B y— y 1 + C z— z 1 = 0, en la qual x 1 , y 1 , z 1 són les tres coordenades d’un punt P 1 donat del pla, A, B, C són les tres components d’un vector N normal al pla, i x, y, z són les tres…

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…

Alhora, imposa axiomàticament l’arquimedianitat i la completesa de la recta geomètrica

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 o mística, basada en les…

Aquesta definició, des del punt de vista matemàtic, no és vàlida, i, així, en matemàtiques la noció de conjunt no és definida, i s’inclou dins del desenvolupament d’una teoria axiomàtica que eviti les paradoxes i contradiccions com les que, a començament del segle XX, posaren en qüestió no solament la teoria de conjunts, sinó bona part de la matemàtica Hom no defineix, doncs, ni conjunt, ni element, ni la relació de pertinença, i es conforma amb la idea intuïtiva del que signifiquen frases com Un conjunt és format per elements, o l’element 4 pertany al conjunt dels nombres naturals La…

A més, però, de la lògica pròpiament dita, actualment hom inclou sota el títol de lògica les investigacions metalògiques, les quals comprenen la teoria de la deducció o estudi de les propietats dels conjunts d’axiomes i la semàntica formal D’altra banda, no tot el que ha figurat històricament sota el nom de lògica —com és ara la hegeliana— entra avui dins l’àmbit d’aquesta, ni totes les investigacions pròpiament lògiques han estat consignades com a tals Malgrat aquesta dificultat, existeix una unitat bàsica de temàtica, separable de la filosofia, que permet de considerar la lògica com una…