Resultats de la cerca

Una llei de composició interna definida en un conjunt E és una operació que permet de fer correspondre a cadascun dels parells ordenats a, b d’elements, distints o no de E , un element ben determinat del mateix conjunt E Així, doncs, una llei de composició apareix com una aplicació de E × E en E Una estructura és definida, doncs, per mitjà d’un cert nombre d’axiomes que determinen les relacions i les operacions que la componen Les estructures més freqüents en àlgebra són les de grup, anell, cos i espai vectorial

El caràcter matemàtic de l’objecte és donat per la possibilitat d’establir relacions entre aquest i els altres objectes de la teoria, en forma de teoremes, els quals hom dedueix dels axiomes de partença Sovint els objectes matemàtics són classes d’equivalència construïdes a partir d’altres elements anteriors concepte de nombre enter, de direcció, de vector lliure, etc Hom anomena objectes primitius d’una teoria matemàtica aquells que no poden ésser definits a partir d’objectes anteriors i han d’ésser definits establint una sèrie de condicions que els relacionen entre ells, com és…

Així, l’enunciat ''tot x més gran que 2 , si és primer és senar’ és un enunciat pròpiament matemàtic, és a dir, un teorema del qual hom pot provar la correcció o la incorrecció a partir d’un determinat conjunt d’axiomes en canvi, són metamatemàtics els enunciats '' x és una variable numèrica’, '' 2 és una constant numèrica’, etc, que caldria que acompanyessin l’enunciat matemàtic anterior per tal de fer-lo comprensible a qui no sabés què representen x i 2 La distinció entre matemàtica i metamatemàtica fou feta per Hilbert a fi d’aconseguir el desenvolupament d’una teoria de la…

Professor a les universitats de Lilla i a París i de l’escola politècnica Estudià les curvatures i les superfícies algèbriques, aplicà la teoria de grups a les funcions, s’interessà per les equacions diferencials i fou un gran teòric de l’aviació, el progrés de la qual impulsà a França Publicà Leçons sur le frottement 1895, Leçons sur la théorie analytique des équations différentielles 1897 i Axiomes de la mécanique 1922 Fou ministre diverses vegades d’instrucció pública, de la guerra, de finances, de l’aire i president del govern i de la cambra de diputats Ingressà a l’Acadèmia…

Estudià probablement a Atenes i residí a Alexandria, on fundà una escola matemàtica Desenvolupà les seves teories en els Elements , en 13 volums Donà un tractament lògic a la geometria i la dotà d’un cos d’axiomes i de postulats que feren que fos considerada l’única geometria possible durant 19 segles, fins a l’aparició de geometries no euclidianes, les quals no segueixen els seus postulats Estudià les fraccions i les proporcions i enuncià una teoria dels nombres Demostrà que la sèrie de nombres primers és indefinida i que és un nombre irracional Ideà un procés de càlcul per a…

La relació de proximitat és definida pels axiomes següents ASB ⇔ BSA , és a dir, la relació S és simètrica ASB ⇒ A ≠∅i B ≠∅, és a dir, el conjunt buit no és pròxim a cap altre AS B ∪C ⇒ ASB o ASC , és a dir, un conjunt és pròxim a la reunió de dos conjunts si és pròxim, almenys, a un d’ells A ∩B ≠∅⇒ASB , és a dir, dos conjunts que es tallen són pròxims { X } S { Y } ⇔ X=Y , és a dir, un punt només és pròxim a si mateix si A$B aleshores existeix un conjunt C tal que B$C i A$C c , on C c és el conjunt complementari de C Tota proximitat indueix una topologia prenent com a…

Tradicionalment el postulat era contraposat a l'axioma, pel fet de no ésser evident ni universalment acceptat, i al teorema, pel fet de no ésser demostrable Actualment, tanmateix, hom assimila el postulat a l’axioma, per tal com pot ésser posada en qüestió la idea d’evidència Més que no el seu caràcter apriorístic, el que hom entén avui com a propi del postulat és la posició primària que aquest ocupa en un sistema formal El sistema de postulats d’una teoria ha d’ésser elegit de tal manera que totes les proposicions de la teoria puguin ésser deduïdes per una cadena de raonaments d’aquells…

Propugna que la matemàtica és l’estudi d’uns tipus de construccions mentals en les quals els objectes que hom maneja han d’ésser definits donant un criteri que en permeti la construcció i on el llenguatge emprat, sigui ordinari o simbòlic, només és un instrument auxiliar i no una part essencial de les construccions formalisme Hom accepta que la matemàtica intuïcionista és formada de tot allò que és conseqüència segons les normes de la lògica intuïcionista de la construcció de la successió dels nombres naturals ℕ, de la qual resulten evidents els axiomes de Peano base de la…

En realitat aquesta imatge correspon millor a un segment o tros de recta la recta és, de fet, infinita en tots dos sentits La geometria no dóna cap definició directa de recta, sinó que, en fixar l’axiomàtica o conjunt de proposicions bàsiques de les quals hom dedueix totes les altres que constitueixen les diverses geometries, resten definits indirectament els conceptes fonamentals punt, recta, pla L’intent de definir cada element a partir d’altres de més simples no pot prosseguir indefinidament sense caure en un cercle viciós, puix que algun element ha d’ésser el primer d’aquesta cadena En el…