Godel
Enciclopedia della Matematica (2013)
Godel
Gödel Kurt (Brno, Moravia, 1906 - Princeton, New Jersey, 1978) logico statunitense di origine austriaca. Studiò a Vienna, inizialmente con l’intento di laurearsi in fisica; ma, in seguito alla [...] . Secondo questo teorema all’interno di ogni sistema formale coerente che sia in grado di esprimere l’aritmetica esistono proposizioni indecidibili (rispetto alle quali il sistema non può dare una dimostrazione né di esse né della loro negazione). Il ...
Leggi Tutto
piu
Enciclopedia Dantesca (1970)
più (piue)
Riccardo Ambrosini
1. Dell'avverbio e aggettivo (anche sostantivato) p. le attestazioni, circa 1200 complessivamente, sono 54 nella Vita Nuova, 78 nelle Rime, 391 nel Convivio e 661 nella [...] 67 né più amor mi fece esser più presta; VII 75 ne la più somigliante è più vivace.
6.3. Sono coordinate tra loro due proposizioni relative in Pg XXI 85 col nome che più dura e più onora; Pd XXIII 97-98 Qualunque melodia più dolce suona / ... e più a ...
Leggi Tutto
geometria euclidea
Enciclopedia della Matematica (2013)
geometria euclidea
geometria euclidea locuzione con la quale si intende in primo luogo la sistemazione su basi ipotetico-deduttive della geometria del piano e dello spazio operata da Euclide (sec. III [...] su di essa a partire da un medesimo punto fra quelli interni alla figura, siano uguali fra loro;
• …
I postulati sono proposizioni riferibili ad alcuni termini, ritenute vere sulla base di una loro intrinseca evidenza e che non necessitano di alcuna ...
Leggi Tutto
geometria assoluta
Enciclopedia della Matematica (2013)
geometria assoluta
geometria assoluta sistema geometrico ipotetico-deduttivo basato soltanto sui primi quattro postulati di Euclide, prescindendo dal quinto postulato, cioè dall’assioma della parallela. [...] ) di dimostrare il quinto postulato a partire dagli altri, sviluppò molti risultati a partire soltanto dalle prime 28 proposizioni degli Elementi di Euclide. Anche modernamente, qualunque sia il sistema di assiomi che si sceglie per la geometria ...
Leggi Tutto
logicismo
Dizionario delle Scienze Fisiche (1996)
logicismo
logicismo [Der. di logica] [STF] [FAF] (a) In senso lato, ogni dottrina che pone la logica a fondamento della filosofia. (b) In senso specifico, indirizzo di pensiero che, soprattutto per opera [...] logici fondamentali e che tutti i teoremi matematici sono dimostrabili a partire da un numero ristretto di proposizioni logiche fondamentali; tale programma di riduzione della matematica alla logica venne abbandonato per l'insorgere di paradossi ...
Leggi Tutto
Sacchèri, Giovanni Girolamo
Enciclopedia on line
Matematico e filosofo (Sanremo 1667 - Milano 1733), gesuita; insegnò dapprima filosofia e teologia nei collegi della Compagnia di Gesù, poi (1699) matematica nell'univ. di Pavia. Acutissimo logico, S., [...] retta data" (Euclides ab omni naevo vindicatus, 1733). La dimostrazione è errata, nel senso che essa ammette implicitamente altre proposizioni, equivalenti al 5º postulato di Euclide, che non è conseguenza dei precedenti. L'opera di S. ha tuttavia ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
etica
Enciclopedia on line
In senso ampio, quel ramo della filosofia che si occupa di qualsiasi forma di comportamento (gr. ἦθος) umano, politico, giuridico o morale; in senso stretto, invece, l’e. va distinta sia dalla politica [...] linguaggio etico non è riducibile in schemi logici, in quanto non si rintracciano in esso né proposizioni puramente logiche né proposizioni fattuali: esso è dunque linguaggio che convoglia emozioni puramente soggettive. Di fronte all’impossibilità di ...
Leggi Tutto
logica paraconsistente
Enciclopedia della Matematica (2013)
logica paraconsistente
logica paraconsistente tipo di logica caratterizzato dalla compatibilità con le contraddizioni. Generalmente i sistemi formali non sono compatibili con le contraddizioni perché [...] paraconsistenti. Se L è un sistema formale di una logica paraconsistente allora è possibile estendere L aggiungendo a esso due proposizioni in contraddizione fra loro come per esempio A e ￢A e ottenere un sistema non banale, dal quale cioè non ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. I teoremi di incompletezza di Gödel
Storia della Scienza (2004)
La seconda rivoluzione scientifica: matematica e logica. I teoremi di incompletezza di Godel
Carlo Cellucci
I teoremi di incompletezza di Gödel
Nei giorni 5-7 settembre 1930 ebbe luogo a Königsberg [...] di un nucleo costituito da asserzioni e metodi dimostrativi elementari, detti da Hilbert finitari (finit). Le asserzioni finitarie sono asserzioni del tipo della proposizione di Fermat ∀x∀y∀z∀w(x>0∧y>0∧z>0∧ w>2→xw+ +yw≠zw). Un tipico ...
Leggi Tutto
Boole
Enciclopedia della Matematica (2013)
Boole
Boole George (Lincoln 1815 - Cork 1864) logico e matematico irlandese. Figlio di un bottegaio, per studiare dovette superare notevoli difficoltà. Dopo gli iniziali studi umanistici, la sua formazione [...] pubblicò Mathematical analysis of logic (L’analisi matematica della logica) in cui per la prima volta espresse proposizioni logiche in termini algebrici. Nel frattempo, oltre a insegnare, svolse numerose attività a carattere sociale soprattutto nel ...
Leggi Tutto