Locuzione introdotta da A. Robinson nel 1960 per indicare l’analisi basata su un modello matematico in cui, utilizzando una (opportunamente modificata) logica del primo ordine, viene data una definizione [...] accantonata da K.T.W. Weierstrass che, fino a Robinson, aveva impostato l’analisi matematica sull’ε-δ meccanismo.
Nell’analisi n. lo zero è l’unico infinitesimo (standard) . è la semplicità della struttura logica che non richiede, a differenza della ...
Leggi Tutto
Diritto
Istituto del diritto civile che prevede, ove le cose restino separabili, ancorché unite, il diritto per ciascun proprietario a conservare il diritto di proprietà e la possibilità di chiedere la [...] , ma costituito dal nome di un oggetto anziché da un nome di persona.
Matematica
Nella teoria degli insiemi, dati due insiemi A e B, si chiama u. (o, meno comunemente, somma logica) di A e B l’insieme formato da tutti gli elementi che appartengono ...
Leggi Tutto
Undicesima lettera dell’alfabeto greco (maiuscolo Λ, minuscolo λ), corrispondente alla consonante latina l.
biologia Fago l. Batteriofago che ha come ospite il batterio Escherichia coli. Su di esso sono [...] : esiste una procedura meccanica capace di stabilire se una proposizione logica del primo ordine è sempre vera? Il l. calcolo è un formalismo in grado di descrivere in maniera rigorosa le funzioni matematiche ed è costruito in modo tale che a ogni ...
Leggi Tutto
Linguistica
Forme o parole postulate Quelle forme o parole antiche, di solito contrassegnate con asterisco, che non sono documentate in alcun testo, ma di cui viene ragionevolmente supposta l’esistenza [...] sistema deduttivo). È termine in uso soprattutto nella matematica, mentre in fisica e nelle scienze applicate le che riguarda l’esistenza di determinati enti geometrici). Nella logica moderna la differenziazione tra assiomi e p. è venuta ...
Leggi Tutto
Filosofia
Ciascuno dei principi logici od ontologici alla base di un sistema filosofico, o degli assiomi su cui è costruita una scienza e che ne sanciscono la validità.
Critica dei f. Processo iniziato [...]
Sotto la denominazione di f. della matematica si indica quel capitolo della matematica che si occupa della rigorosa assiomatizzazione delle sue diverse branche, dell’analisi logica dei procedimenti dimostrativi usati ( critica dei f.), dello ...
Leggi Tutto
Scienziato e letterato (Bologna 1748 - ivi 1802), lettore di logica, quindi (1788) di fisica e infine (1800) di matematica applicata nell'univ. di Bologna. Membro dell'Accademia bolognese delle scienze, [...] dove insegnò nautica (1771), ne fu dal 1797 segretario. È autore di opere scientifiche (Sugli accidenti che s'osservano nel suono ...; Del suono e specialmente dell'intensità di esso, ecc.) e letterarie ...
Leggi Tutto
Matematico e alchimista (castello di Cadillac 1512 - Bordeaux 1594), vescovo di Aire (1578). È noto soprattutto per la traduzione e il commento di Euclide (1566). Fu tra i primi a far uso delle definizioni [...] nominali (in contrapposto alle definizioni reali) oggi alla base della moderna sistemazione logica della matematica. Nelle edizioni successive della sua opera aggiunse alcuni libri riguardanti i solidi regolari. Fondò la cattedra di geometria all' ...
Leggi Tutto
Matematico e fisico (Presburgo 1704 - Halle 1777), dapprima medico, poi prof. di matematica e fisica nell'univ. di Gottinga, quindi di Halle. Scrisse di logica (sui fondamenti dell'analisi infinitesimale), [...] di matematica, fisica e medicina. Ebbe risonanza una sua polemica con Ch. Wolff, durante la quale S. richiamò per primo l'attenzione sull'orientamento delle figure solide. ...
Leggi Tutto
Logico e filosofo austriaco (Graz 1923 - Salisburgo 2015), docente (1962-85) alla Stanford University (California). Si è occupato dei problemi relativi ai fondamenti della matematica, nonché di logica [...] intuizionista, di teoria della dimostrazione e di teoria della ricursione. Tra i suoi scritti: Eléments de logique mathématique. Théorie des modèles (1967, in collaborazione con J. L. Krivine) ...
Leggi Tutto
OPERATORI; OPERAZIONALE, CALCOLO (od operatorio, calcolo)
Tullio Viola
Riteniamo opportuno aggiungere alle considerazioni svolte nelle voci: operatori (App. III, 11, p. 317) e simbolico, calcolo (App. [...] sono oggetto, si dimostrano efficaci in particolari tecniche dell'Analisi matematica. Si pensi all'op. L di Laplace, che trasforma (B. de Finetti), è indubbia la distinzione rigorosamente logica dai due concetti.
4. - I funzionali vennero chiamati ...
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...