proposizione
Dizionario delle Scienze Fisiche (1996)
proposizione
proposizióne [Der. del lat. propositio -onis, dal part. pass. propositus di proponere "mettere avanti", comp. di pro- e ponere "porre"] [ALG] [FAF] Nella logica matematica, enunciazione [...] come legge delle p. inverse). ◆ [ALG] [FAF] Algebra, o calcolo, delle p., o calcolo degli enunciati: il calcolo algebrico logico nel quale, senza indagare sulla struttura delle singole p. semplici, si esamina come queste vengono collegate tra loro ...
Leggi Tutto
prenesso
Dizionario delle Scienze Fisiche (1996)
prenesso
prenésso [agg. Der. dell'ingl. prenex, che è dal lat. praenexus "unito prima"] [ALG] [FAF] Forma normale p. (dall'ingl. prenex normal form): nella logica matematica, espressione predicativa [...] in cui tutti i quantificatori si trovano all'inizio ...
Leggi Tutto
logico
Dizionario delle Scienze Fisiche (1996)
logico
lògico [agg. (pl.m. -ci) Der. del lat. logicus, dal gr. log✄ikós, a sua volta da lógos "discorso, ragio-namento"] [LSF] Che concerne la logica o che è conforme a essa come retto modo di ragionare. [...] usati nei sistemi di elaborazione e di trasmissione dei dati, con particolare rifer. agli elaboratori elettronici: v. circuiti logici. ◆ [ELT] Famiglia l.: insieme di circuiti l. (integrati) che usano lo stesso dispositivo elementare come porta l. e ...
Leggi Tutto
CATEGORIA:
FISICA MATEMATICA
–
STORIA DELLA FISICA
–
TEMI GENERALI
–
ALGEBRA
–
EPISTEMOLOGIA
–
METAFISICA
–
ELETTRONICA
Kreisel, Georg
Enciclopedia on line
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
CATEGORIA:
BIOGRAFIE
ideografia
Enciclopedia on line
Sistema di scrittura che non tiene conto dell’aspetto fonologico del linguaggio, ma fa uso di simboli (ideogrammi) che si pongono in rapporto immediato con un contenuto mentale. L’i. sta alla base delle [...] connesse con il linguaggio comune; ma il suo sviluppo è opera dei fondatori dell’algebra della logica, in particolare di G. Boole. Verso la fine del 19° sec., la i. logica ha ricevuto ampi sviluppi per opera di G. Peano in Italia e di G. Frege in ...
Leggi Tutto
necessità
Enciclopedia on line
necessità Carattere, qualità, condizione di ciò che non può non essere o essere diversamente da come è.
Filosofia
Nel mondo greco, il termine corrispondente a n., ἀνάγκη, è adoperato inizialmente per [...] dei debbono sottostare. Tra i creatori del concetto filosofico di n. va annoverato Parmenide con la scoperta della n. logica, per cui la pura asserzione dell’essere esclude ogni asserzione di non essere. Dalla contrapposizione parmenidea della realtà ...
Leggi Tutto
Pàdoa, Alessandro
Enciclopedia on line
Matematico (Venezia 1868 - Genova 1937), docente nell'univ. di Genova. Allievo di G. Peano, fu uno dei suoi più stretti collaboratori per quel che concerne lo studio dei fondamenti dell'aritmetica e l'istituzione [...] dimostrò, tra l'altro, l'indipendenza degli "assiomi di Peano" e propose l'importante metodo o principio di P.; eseguì la riduzione delle idee primitive della logica a tre nozioni fondamentali (di "uguaglianza", di "intersezione", di "appartenenza"). ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
fondamento
Dizionario delle Scienze Fisiche (1996)
fondamento
fondaménto [Der. del lat. fundamentum, da fundare "fondare"] [ALG] [ANM] Fondamenti della matematica: denomin. di quel capitolo della matematica che s'occupa dell'assiomatizzazione rigorosa [...] delle sue diverse branche, dell'analisi logica dei procedimenti dimostrativi usati (critica dei f.), della concatenazione fra le varie branche: v. logica: III 482 e. ...
Leggi Tutto
Intuizionismo
Enciclopedia del Novecento (1978)
Intuizionismo
AArend Heyting
di Arend Heyting
Intuizionismo
sommario: 1. Concetti fondamentali. 2. Aritmetica elementare. 3. Il principio del terzo escluso. 4. I numeri reali. 5. Ineguaglianza e separazione [...] si può comunicare per mezzo del linguaggio, ma non si può escludere in assoluto la possibilità che insorgano equivoci; 6) la logica si può studiare o come una parte della matematica o come un ramo della matematica applicata, ma non può costituire una ...
Leggi Tutto
classe
Dizionario delle Scienze Fisiche (1996)
classe
classe [Der. del lat. classis] [LSF] Ognuna delle divisioni in cui vengono raggruppati vari enti omogenei, in genere con opportune qualificazioni. ◆ [FAF] C., o anche c. logica, è in genere sinon. [...] di insieme: c. unità e c. vuota, insieme, rispettiv., con un solo elemento oppure con nessun elemento. ◆ [ALG] C. caratteristica per fibrati di rango uno: v. classi caratteristiche: I 628 d. ◆ [ALG] C. ...
Leggi Tutto
CATEGORIA:
ASTROFISICA E FISICA SPAZIALE
–
FISICA MATEMATICA
–
METROLOGIA
–
STORIA DELLA FISICA
–
TEMI GENERALI
–
ANALISI MATEMATICA
–
EPISTEMOLOGIA
–
METAFISICA
–
ELETTRONICA