assiomatizzazióne

Dizionario delle Scienze Fisiche (1996)

assiomatizzazione assiomatizzazióne [Atto ed effetto dell'assiomatizzare "procedere per assiomi", da assioma] [FAF] A. di una teoria: formulazione di alcune proprietà della teoria dalle quali tutte [...] le altre possono essere dedotte: v. assiomatizzazione. ... Leggi Tutto

CATEGORIA: STORIA DELLA FISICA – EPISTEMOLOGIA – METAFISICA

microcausalita

Dizionario delle Scienze Fisiche (1996)

microcausalita microcausalità [Comp. di micro- e causalità] [FAF] Uno degli assiomi dell'assiomatizzazione della teoria quantistica dei campi: v. assiomatizzazione: I 182 f. ... Leggi Tutto

CATEGORIA: STORIA DELLA FISICA – EPISTEMOLOGIA – METAFISICA

assiomàtico

Dizionario delle Scienze Fisiche (1996)

assiomatico assiomàtico [agg. (pl.m. -ci) Der. del gr. axiomatikós] [ALG] Metodo a.: v. assiomatizzazione: I 181 a. ◆ [ALG] [FAF] Trattazione a. (di una data questione): nella logica matematica, la trattazione [...] in cui si astrae da ogni definizione costruttiva degli enti che intervengono nella questione e si considerano solo talune loro proprietà espresse formalmente in un sistema di assiomi, dai quali, per via ... Leggi Tutto

CATEGORIA: FISICA MATEMATICA – STORIA DELLA FISICA – ALGEBRA – EPISTEMOLOGIA – METAFISICA

Bernays, Paul

Enciclopedia on line

Logico e matematico svizzero (Londra 1888 - Zurigo 1977), dal 1922 prof. all'univ. di Gottinga, insegnò poi a Helsinki e Zurigo; condirettore della rivista Dialectica. Allievo e collaboratore di D. Hilbert, [...] fu con lui autore delle Grundlagen der Mathematik (1934-39). Al suo nome è legata una notissima assiomatizzazione della teoria degli insiemi (Axiomatic Set Theory, 1958). Il sistema assiomatico di B., che sviluppa quello di J. L. von Neumann, è stato ... Leggi Tutto

CATEGORIA: BIOGRAFIE

TAGS: TEORIA DEGLI INSIEMI – SISTEMA ASSIOMATICO – GOTTINGA – HELSINKI – LONDRA

causalita

Dizionario delle Scienze Fisiche (1996)

causalita causalità [Der. di causale] [FAF] Rapporto che lega la causa con l'effetto: v. causalità. ◆ [FAF] C. relativistica: esprime la circostanza che, non potendosi avere segnali che si propagano [...] ottenute in regioni dello spazio sufficientemente lontane e separate sufficientemente poco nel tempo non possono interferire reciprocamente: v. assiomatizzazione: I 182 f. ◆ [FAF] Principio di c.: può essere così enunciato: tutto ciò che muta ha una ... Leggi Tutto

CATEGORIA: STORIA DELLA FISICA – EPISTEMOLOGIA – METAFISICA

ŁUKASIEWICZ, Jan

Enciclopedia Italiana - III Appendice (1961)

ŁUKASIEWICZ, Jan Alberto PASQUINELLI Filosofo, nato a Leopoli il 21 dicembre 1878, morto a Dublino il 13 febbraio 1956. Insegnò filosofia e logica all'univ. di Varsavia e, dopo la seconda guerra mondiale, [...] polivalenti; c) la storia della logica. Relativamente al primo tema il Ł. recn̄ un contributo fondamentale nel senso dell'assiomatizzazione, perfezionando i risultati giމ attinti da G. Frege e da B. Russell, con particolare riguardo alla selezione e ... Leggi Tutto

fondamento

Enciclopedia on line

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 [...] 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 studio degli ... Leggi Tutto

CATEGORIA: LOGICA – METAFISICA

TAGS: TEORIA DEGLI INSIEMI – MATEMATICA – ONTOLOGICI – ASSIOMI

definizione

Dizionario delle Scienze Fisiche (1996)

definizione definizióne [Der. del lat. definitio -onis, da definire (→ definito)] [LSF] Il termine, nato nella filosofia naturale (spec. nella matematica) con il signif., che ha tuttora, di "proposizione [...] con cui vengono formalmente introdotti concetti derivati a partire da quelli che vengono supposti come primitivi: v. assiomatizzazione. ◆ [ALG] [ANM] D. astratta, o per astrazione: operazione consistente nel definire una classe di elementi attraverso ... Leggi Tutto

CATEGORIA: FISICA MATEMATICA – STORIA DELLA FISICA – TEMI GENERALI – ALGEBRA – ANALISI MATEMATICA – EPISTEMOLOGIA – METAFISICA

metodo

Dizionario delle Scienze Fisiche (2012)

metodo mètodo [Der. del lat. methodus, dal gr. méthodos "la via della ricerca"] [LSF] Ogni procedimento volto alla conoscenza e alla sistematizzazione di ciò che via via si acquisisce, in base a criteri [...] concetti e proposizioni primitive da cui altri concetti e proposizioni possono essere ricavati come teoremi mediante dimostrazioni: v. assiomatizzazione: I 180 e. ◆ [FAF] [ALG] [ANM] M. costruttivo: quello che non soltanto individua la possibilità di ... Leggi Tutto

CATEGORIA: FISICA ATOMICA E MOLECOLARE – FISICA MATEMATICA – MECCANICA – MECCANICA DEI FLUIDI – MECCANICA QUANTISTICA – STORIA DELLA FISICA – TEMI GENERALI – TERMODINAMICA E TERMOLOGIA – ALGEBRA – ANALISI MATEMATICA – EPISTEMOLOGIA – METAFISICA

logica intuizionista

Enciclopedia della Scienza e della Tecnica (2008)

logica intuizionista Silvio Bozzi La più studiata rivale della logica classica sin da quando fu assiomatizzata da Arend Heyting nel 1930. Già Anchei M. Kolmogorov nel 1925 e Vasili I. Glivenko nel 1929 [...] come il terzo escluso A∨←A risulti falso o come sia falsificabile una formula quale ←∃x←A→∀xA. L’assiomatizzazione HI data da Heyting si ottiene quindi da quella per la logica classica semplicemente eliminando alcuni assiomi validi classicamente. I ... Leggi Tutto

CATEGORIA: LOGICA

TAGS: TEORIA DELLA DIMOSTRAZIONE – LOGICA PROPOSIZIONALE – LOGICA MATEMATICA – ASSIOMATIZZAZIONE – DAVID HILBERT