La grande scienza. Cronologia scientifica: 1941-1950
1941-1950
1941
Le successioni esatte. Introdotte in una nota sui gruppi di coomologia (priva di dimostrazioni) dal polacco Witold Hurewicz ed estensivamente [...] che la teoria delle algebre di Boole è decidibile; cioè, esiste un algoritmo che, data una formula della logica delprimoordine nel linguaggio di tali strutture, stabilisce in un tempo finito se la formula è vera in tutte le algebre di Boole.
Il ...
Leggi Tutto
Informatica teorica
Giorgio Ausiello
Con l'espressione informatica teorica ci si riferisce a un complesso di discipline scientifiche aventi per oggetto lo studio formale degli strumenti, dei metodi [...] inclusi sotto il nome di logica dinamica.
In questi sistemi il linguaggiodelprim'ordine viene arricchito introducendo istruzioni e costrutti di un linguaggio di programmazione (per es., composizione sequenziale, iterazione, alternativa in base al ...
Leggi Tutto
Modelli, Teoria dei
Silvio Bozzi
Malgrado le modeste origini che ne hanno segnato la nascita, la teoria dei modelli ha sviluppato nel corso del tempo idee e metodi che l'hanno resa uno dei settori più [...] nuovi e profondamente legati a tecniche e idee della geometria algebrica.
Proprietà elementari: strutture e linguaggio
I linguaggi elementari o delprimoordine sono, non solo storicamente, i più importanti utilizzati nella teoria dei modelli, ed ...
Leggi Tutto
Il Contributo italiano alla storia del Pensiero: Scienze (2013)
Vito Volterra
Angelo Guerraggio
Fino agli anni Settanta del secolo scorso, le tracce di Vito Volterra nel mondo matematico italiano sono rimaste piuttosto deboli. La maturazione di una diversa sensibilità [...] non fosse altro che la traduzione in un diverso linguaggio di dati e osservazioni già avviate su un terreno non Lotka-Volterra) pervenendo a un sistema di due equazioni differenziali delprimoordine:
Formula 1
dove x=x(t) rappresenta nel tempo la ...
Leggi Tutto
completezza
completézza [Der. di completo] [FAF] Proprietà di una teoria fisica per cui ogni suo elemento ha un corrispettivo nella realtà: v. completezza. ◆ [MCQ] C. asintotica: locuz. con cui s'indica [...] ogni n esiste uno schema di enunciato costruito nel linguaggio simbolico usando solo, quali connettivi, la negazione e nel 1930, secondo il quale ogni teoria elementare, cioè delprimoordine, non contraddittoria ha un modello numerabile, cioè ha un ...
Leggi Tutto
ultraprodotto
ultraprodótto [Comp. di ultra e prodotto] [ALG] Operazione tra opportuni sottoinsiemi di particolari tipi di insiemi; precis., sia dato un insieme I e per ogni i∈I siano Ai un'interpretazione [...] sull'universo Ui di un prefissato linguaggio predicativo delprimoordine e A il prodotto cartesiano degli Ai; se F è un ultrafiltro su I, è possibile definire una speciale relazione di equivalenza su A e, in conseguenza, un u. Ui come opportuno ...
Leggi Tutto
Linguistica
La parte della linguistica che studia la connessione di unità minori a formare unità maggiori. In questo senso si parla anche di fonetica sintattica (o sandhi, con il termine della grammatica [...] non poche perplessità nella moderna linguistica teorica. Un primoordine di problemi nasce dalla scelta della ‘parola’ della metateoria che studia le proprietà degli elementi dellinguaggio oggetto, indipendentemente dal loro significato, cioè senza ...
Leggi Tutto
METAMATEMATICA
Alberto Pasquinelli
Aldo Marruccelli
. Il problema della metamatematica. - Come disciplina specifica, la m. deve la propria genesi (e la propria denominazione) a D. Hilbert, il quale [...] Scoto, basterà far vedere che c'è una formula esprimibile nel linguaggio della teoria che non può essere derivata in essa. Quando si si dimostra innanzitutto la coerenza del calcolo dei predicati delprim'ordine, mediante il terzo criterio. ...
Leggi Tutto
La scienza bizantina e latina: la nascita di una scienza europea. Astronomia, astrologia e geografia matematica
John D. North
Anne Tihon
Graziella Federici Vescovini
Uta Lindgren
Astronomia, astrologia [...] antiche Tavole di Toledo, Alfonso X ordinò che la costruzione degli strumenti e scienza, si appassionò anche al linguaggio di un'altra scienza, grazie i cieli erano soltanto otto; l'introduzione delprimo mobile o nona sfera è stata attribuita all ...
Leggi Tutto
Il Rinascimento. Il metodo e l'ordinedel sapere
Cesare Vasoli
Il metodo e l'ordinedel sapere
Prodromi di un dibattito
La ricostruzione del lungo dibattito cinquecentesco sui criteri fondamentali [...] sua dottrina dell'ordinamento scientifico e didattico del sapere, risolto nel criterio del passaggio dai prima et notiora ai Duckworth, 1986.
Hidalgo-Serna 1992: Hidalgo-Serna, Emilio, Linguaggio e pensiero originario. L'umanesimo di Juan Luis Vives, ...
Leggi Tutto
ordine
órdine s. m. [lat. ōrdo ōrdĭnis]. – 1. a. Disposizione regolare di più cose collocate, le une rispetto alle altre, secondo un criterio organico e ragionato, rispondente a fini di praticità, di opportunità, di armonia, e sim.: mettere,...
ordinare
v. tr. [dal lat. ordinare «mettere in ordine, dare assetto» e poi anche con i sign. del n. 3; der. di ordo -dĭnis «ordine»] (io órdino, ecc.). – 1. a. Mettere in ordine, collocare un insieme di oggetti, di elementi, ciascuno al posto...