Il Contributo italiano alla storia del Pensiero: Scienze (2013)
La logica e i fondamenti della matematica tra Ottocento e Novecento
Mario Piazza
I fondamenti della geometria
Nella seconda metà dell’Ottocento, in tutta Europa il baricentro delle ricerche geometriche [...] dei predicati, rispetto al quale viene posta la questione della completezza e della decidibilità. L’epoca d’oro della logica era alle porte. Le rose stavano fiorendo, ma non in Italia, dove il giovane Geymonat nei primi anni Trenta veniva dissuaso da ...
Leggi Tutto
Logica matematica
Abraham Robinson
*La voce enciclopedica Logica matematica è stata ripubblicata da Treccani Libri, arricchita e aggiornata da un’introduzione di Gabriele Lolli e un saggio di Beppo [...] grado di realtà di un insieme infinito. Per un positivista logico l'intera matematica è parte del linguaggio e il problema F(k)=fk(k). Ma, per costruzione, F(k)=fk(k)+1. Il che porta alla fk(k)=fk(k)+1, cioè a una contraddizione che mostra che F(x), ...
Leggi Tutto
giòchi, teorìa dei Modello matematico per lo studio delle 'situazioni competitive', in cui cioè sono presenti più persone (o gruppi di persone, o organizzazioni) dette appunto 'giocatori', con autonoma [...] . La specificazione di una coppia (detta anche profilo) di strategie (x,y) porta a una coppia di numeri reali, f(x,y) e g(x,y), che giocato una volta sola, sembra difficile sfuggire alla sua logica di dilemma. Ma esistono risposte diverse, non è detto ...
Leggi Tutto
Uno dei rami fondamentali delle scienze matematiche: in senso lato l’a. studia le operazioni, definite in un insieme, che godono di proprietà analoghe a quelle delle ordinarie operazioni dell’aritmetica. [...] di vista algebrico hanno la stessa ossatura logica. Inoltre vengono nettamente separate le ‘proprietà parte, uno sviluppo intenso di ricerca estremamente specialistica che ha portato alla soluzione di problemi aperti da decenni o, in qualche ...
Leggi Tutto
In arte e architettura, persona od oggetto che l’artista ritrae o riproduce, oppure esemplare preparatorio dell’opera finale. Nel linguaggio scientifico, costruzione schematica, puramente ipotetica o realizzata [...] anche al crescere della densità del competitore; ciò porta al sistema di equazioni differenziali ordinarie
con le formula si dice valida in una teoria T se è conseguenza degli assiomi non logici di T o, equivalentemente, se è vera in ogni m. di T. ...
Leggi Tutto
Chimica
Generalità
L’a. chimica si occupa dei metodi che permettono di determinare la composizione chimica di un campione. Genericamente ha il significato di scissione in elementi più piccoli e loro esame, [...] d’insegnamento, in contrapposto a sintesi, diviene successivamente, da Cartesio in poi, metodo di dimostrazione. La Logica di Port Royal attribuendo all’a. o ‘metodo d’invenzione’, nel solco delle dottrine cartesiane, una prevalenza sulla sintesi ...
Leggi Tutto
Insieme di linee, reali o ideali, che si intrecciano formando incroci e nodi e dando luogo a una struttura complessa. Più in particolare, infrastruttura tecnica per la distribuzione di un segnale (tipicamente [...] abilitante se e solo se la combinazione di segnali abilitanti negli ingressi è compatibile con le condizioni logiche espresse dai nodi; esse sono di tipo and quando l’arco uscente porta un segnale abilitante se e solo se tutti gli archi entranti ...
Leggi Tutto
In senso ampio e generico, ramo della matematica che studia lo spazio e le figure spaziali.
Cenni storiciL’antichità
- L’origine della g. è legata a concreti problemi di misurazione del terreno (nacque [...] , ma non imposti, dalla nostra esperienza con il mondo circostante. Ciò porta da un lato al nascere di problemi nuovi e delicati, come quello della compatibilità logica dei postulati, problemi che vanno inquadrati e inseriti nel più vasto movimento ...
Leggi Tutto
Esercizio singolo o collettivo a cui si dedicano bambini o adulti, per passatempo, svago, ricreazione, o con lo scopo di sviluppare l’ingegno o le forze fisiche. Anche, pratica consistente in una competizione [...] angloamericano tra il 1953 e il 1962. I board war games portarono alla moltiplicazione dei g. di simulazione strategica che approdarono, con Dungeons loro migrazione su macchine diverse da quelle a logica cablata per le quali erano nati. L’improvvisa ...
Leggi Tutto
Antropologia
Nel dibattito antropologico e sociologico contemporaneo, il termine g. ha sostituito il termine sesso per indicare la tipizzazione sociale, culturale e psicologica delle differenze tra maschi [...] (di qui, accanto al religioso, il travaglio letterario che lo portò a rivedere la Gerusalemme) e con B. Guarini, il cui di comodo, svincolata dallo stesso processo della critica. Nella Logica (1909) si precisa il carattere di pseudo-concetto della ...
Leggi Tutto
porta1
pòrta1 s. f. [lat. pŏrta, affine a pŏrtus -us «porto3»] (pl. -e; pop. ant. le pòrti). – 1. a. Vano aperto in un muro o altra struttura per crearvi un passaggio costituito da un elemento orizzontale (soglia) posto a livello del pavimento,...
rigore
rigóre s. m. [dal lat. rigor -oris, der. di rigēre «essere rigido»]. – 1. letter. Rigidità, in senso materiale: il r. delle membra intirizzite; il r. della morte (lat. rigor mortis); tronchi ... in rigor di pietra, simili a gemmei steli...