Resultats de la cerca

Com és usual en la història de les matemàtiques, té orígens aparentment molt diferents que finalment conflueixen i permeten d’establir el que esdevé una teoria enormement potent i irrenunciable Cal remarcar-ne el problema diofàntic plantejat per David Hilbert l’any 1900, i el problema de les paraules que sorgí en el món de la topologia algèbrica Es tracta de dos problemes típics de decidibilitat és a dir, aquells en què cal disposar d’un mètode que permeti de decidir una o altra de dues opcions atesa una equació diofàntica, té solució, són equivalents dues paraules donades per…

És autor de nombrosos teoremes sobre la consistència, completesa i decidibilitat de certes teories matemàtiques, com ara la teoria dels conjunts Segons Gödel, la lògica matemàtica és una ciència anterior a les altres, i conté les idees i els principis en què es basen totes les ciències Bé que hom el pot considerar un dels grans representants del logicisme, tendència que vol fonamentar la validesa de la matemàtica en la lògica, cal observar en ell certes influències de l' intuïcionisme

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…

A més de ser l'any del centenari del naixement d'un dels pares de la informàtica i la intelligència artificial, Alan Turing, l'any 2012 va portar prou novetats més o menys esperades nous sistemes operatius Windows 8 de Microsoft, noves versions del més famós dels populars telèfons intelligents iPhone 5, noves versions de consoles de joc la Wii U de Nintendo i, també, l'atenció creixent per la informàtica verda green computing , fins i tot en l'àmbit dels grans superordinadors com el MinoTauro del BSC-CNS de Barcelona En un altre àmbit de coses, cal esmentar la sorpresa del tancament, per l'…