Termine con cui è anche chiamata l'algebra combinatoria, disciplina che studia, piuttosto che le strutture algebriche classiche (gruppo, anello, corpo, ecc.), le strutture algebriche di tipo più semplice, [...] ci riferiamo alla Mathematical Subject Classification. Essa mostra rinvii dalla combinatoria alla logicamatematica e ai fondamenti (calcolabilità e teoria della ricorsività), a ordini, reticoli, strutture algebriche ordinate (aspetti algebrici ...
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 [...] al minimo la verifica empirica diretta.
Teoria dei modelli
Generalità e cenni storici
La teoria dei m. è la parte della logicamatematica che studia le relazioni tra insiemi di espressioni di un linguaggio formale e insiemi di strutture in cui tali ...
Leggi Tutto
(o eguaglianza) Condizione di cose o persone che siano tra loro identiche, o abbiano le stesse qualità, gli stessi attributi in ordine a determinate relazioni. In particolare, condizione per cui più persone [...] In generale, in algebra il concetto di u. si riduce a quello di isomorfismo.
In logicamatematica il concetto di u. si basa sul concetto logico di identità. È possibile definire esplicitamente l’identità mediante il linguaggio predicativo del secondo ...
Leggi Tutto
Filosofia
G.W. Leibniz chiamò arte c. quella che R. Lullo aveva battezzato ars magna, e cioè il simboleggiamento dei vari concetti in segni geometrici o algebrici, tale che permettesse di combinarli reciprocamente [...] possibilità di simboleggiare i concetti in segni geometrici o algebrici si rifarà più tardi la logicamatematica.
Informatica
Ottimizzazione combinatoria
Locuzione, usata anche nella ricerca operativa, per indicare quei problemi di ottimizzazione ...
Leggi Tutto
La grande scienza. Combinatoria
Peter J. Cameron
Combinatoria
Secondo alcuni la combinatoria costituisce soltanto una parte della matematica, secondo altri essa non rappresenta una branca separata, [...] ci riferiamo di nuovo alla Mathematical Subject Classification. Essa mostra rinvii dalla combinatoria alla logicamatematica e ai fondamenti (calcolabilità e teoria della ricorsività), a ordini, reticoli, strutture algebriche ordinate (aspetti ...
Leggi Tutto
Numeri, teoria dei
Larry Joel Goldstein
La teoria dei numeri è il settore della matematica dedicato allo studio delle proprietà degli interi, cioè dell'insieme ℤ costituito dai numeri
…, −4, −3, −2, [...] che un tale algoritmo non esiste. La soluzione del decimo problema di Hilbert si fonda sostanzialmente su metodi di logicamatematica.
La teoria delle funzioni automorfe
La teoria della distribuzione dei primi non è la sola relazione tra teoria dei ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. Il Bourbakismo
Jean-Paul Pier
Il Bourbakismo
L'avvento e l'influenza di Bourbaki costituiscono uno dei fenomeni più sorprendenti nella matematica [...] e le applicazioni universali.
Il punto di vista bourbakista relativo alla logicamatematica è quello del matematico attivo non particolarmente interessato alle questioni dei logici puri, come emerge dall'introduzione al Fascicule des résultats:
Il ...
Leggi Tutto
Numeri
Umberto Zannier
Quanti? Quanto? Quando? A che distanza? Domande a cui rispondiamo, di solito, con numeri. Di essi facciamo continuo uso, e l’importanza concettuale, oltre che pratica, della nozione [...] qualcuno sospetta che possano essere indecidibili in tempo finito, il che rappresenta una possibilità ben contemplata dalla logicamatematica; in questi casi saremmo condannati a una perpetua ignoranza.
Se poi usciamo dall’ambito dei numeri naturali ...
Leggi Tutto
matrice
matrice [Der. del lat. matrix -icis "utero, madre"] [LSF] Raro nel signif. di cosa da cui se ne trae un'altra, indica in genere, concret., la struttura principale di un corpo, nella quale eventualmente [...] le m. di ordine infinito introdotte da D. Hilbert nella teoria delle equazioni integrali). ◆ [ALG] [FAF] Nella logicamatematica: (a) espressione priva di quantificatori, contraddistinta da un punto esclamativo collocato subito dopo di essa; precis ...
Leggi Tutto
operatore
operatóre [Der. del lat. operator -oris "che compie operazioni" (→ operazione)] [ALG] [ANM] Ente che determina un'operazione da eseguirsi su un altro ente, quindi simb. di un'operazione o, [...] [ANM] O. lineare di classe traccia: v. algebre di operatori: I 97 f. ◆ [ALG] [FAF] O. logico: (a) Simb. (per es., di quantificatore) che nella logicamatematica trasforma una forma enunciativa (espressione di cui non ha senso dire che è vera o falsa ...
Leggi Tutto
logica
lògica (ant. lòica) s. f. [dal lat. logĭca, gr. λογική (sottint. τέχνη «arte»), dall’agg. λογικός: v. logico1]. – 1. Nel pensiero greco classico, la scienza del logos, ossia del pensiero in quanto viene espresso; in partic., in Aristotele,...
logico1
lògico1 (ant. lòico) agg. [dal lat. logĭcus, gr. λογικός, der. di λόγος «discorso, ragionamento»] (pl. m. -ci). – 1. a. Che concerne la logica o la logica matematica: principî l.; linguaggio l.; calcolo l.; o, più genericam., che riguarda...