formalismo
formalismo concezione della matematica secondo la quale una teoria matematica è, essenzialmente, il complesso linguistico che la descrive, organizzato in un particolare sistema assiomatico [...] configurazione (stato della partita, paragonabile a un teorema) è completamente descritto dalla posizione iniziale dei pezzi (gli assiomi) e dalle regole del gioco che si possono applicare (regole deduttive). All’interno di questa posizione si può ...
Leggi Tutto
Nuovo Organo o veri indizi dell'interpretazione della natura (Novum Organum sive indicia vera de interpretatione naturae)
Nuovo Organo o veri indizi dell’interpretazione della natura
(Novum Organum [...] dai filosofi ‘empirici’, come procedimento di graduale ottenimento degli assiomi a partire dall’esperienza, mediante generalizzazioni graduali (dagli assiomi medi agli assiomi generalissimi) e mediante la sistematica interrogazione sperimentale della ...
Leggi Tutto
successore
successore di un elemento qualsiasi x di un insieme totalmente ordinato X (>), è l’elemento x′ ∈ X che è maggiore di x nell’ordinamento totale dell’insieme e tale che non vi siano altri [...] naturale, il successore di n è il minimo numero naturale maggiore di n. Nella teoria assiomatica dei numeri (→ Peano, assiomi di) il concetto di successore viene utilizzato per generare, a partire dallo 0, tutti i numeri naturali. Nell’insieme N ...
Leggi Tutto
neuroeconomia
Branca interdisciplinare all’intersezione di economia, psicologia cognitiva e neuroscienza che studia i meccanismi neuronali del comportamento economico. La n. si è sviluppata negli ultimissimi [...] osservazioni comportamentali che mostrano come le scelte individuali siano spesso ‘irrazionali’, ossia violino gli assiomi della teoria economica neoclassica (➔ economia comportamentale). Queste osservazioni inducono a studiare i processi cognitivi ...
Leggi Tutto
Post
Post Emil Leon (Augustów 1897 - New York 1954) matematico e logico statunitense di origine polacca. Emigrato fin da bambino negli Stati Uniti con la sua famiglia, conseguì il dottorato in matematica [...] fondazionali relative alla matematica, dimostrando in particolare la completezza sintattica del calcolo proposizionale codificato nel sistema di assiomi dei Principia Mathematica di Whitehead e Russell. Riprendendo il lavoro di Ch.S. Peirce, utilizzò ...
Leggi Tutto
Cantor-Dedekind, assioma di
Cantor-Dedekind, assioma di assioma secondo cui l’insieme R dei numeri reali può essere messo in corrispondenza biunivoca con i punti di una retta. Dotando la retta di uno [...] , vale a dire che essa preservi le strutture di insiemi ordinati definite rispettivamente su R e sulla retta. Gli assiomi di Hilbert esprimono allora per la retta delle proprietà analoghe a quelle soddisfatte da R come insieme ordinato, prime fra ...
Leggi Tutto
evidenza
Nel pensiero antico, caratteristica specifica della scienza in opposizione all’opinione. Il termine gr. ἐνάργεια («evidenza») indica chiarezza, vividezza e nella sua accezione più specificamente [...] come criterio di verità e certezza. In Aristotele l’e. è propria dei principi primi dell’intelletto e degli assiomi sui quali si fondano le singole scienze, indimostrabili ed evidenti per sé, il cui carattere di autoevidenza ne rende superflua ...
Leggi Tutto
calcolo logico
calcolo logico locuzione che indica un sistema formale in cui è possibile tradurre rigorosamente il concetto di → dimostrazione. Ogni ragionamento formulato nel linguaggio naturale si [...] di inferenza o regole di deduzione; applicando tali regole si può creare una catena di deduzioni che, a partire dagli assiomi del sistema formale, conduca a una nuova formula ben formata, che riveste il ruolo di conclusione del ragionamento. Per ...
Leggi Tutto
geometria combinatoria
geometria combinatoria settore disciplinare sviluppatosi autonomamente nella seconda metà del Novecento che studia problemi combinatori in ambiti in cui abbia importanza la disposizione [...] rette e punti ammissibili in un ambiente geometrico caratterizzato da un numero finito di punti e nel quale sono definiti alcuni assiomi; per esempio, il più piccolo piano proiettivo finito non banale, il piano di Fano, è composto da sette punti e da ...
Leggi Tutto
incompatibilita
incompatibilità in algebra, due equazioni si dicono incompatibili se non ammettono soluzioni comuni; ciò equivale a dire che il sistema di equazioni da esse costituito non ha soluzione [...] che per due o più formule non esiste alcun “oggetto” che le possa verificare simultaneamente. In questo senso si parla, in probabilità, di eventi incompatibili. In logica, l’incompatibilità tra due assiomi è sinonimo di loro contraddittorietà. ...
Leggi Tutto
assioma
assiòma s. m. [dal lat. tardo axioma -ătis, gr. ἀξίωμα -ατος der. di ἄξιος «degno»] (pl. -i). – Nel linguaggio com., verità o principio che si ammette senza discussione, evidente di per sé. In filosofia, principio certo per immediata...
assiomatica
assiomàtica s. f. [dall’agg. assiomatico]. – 1. In genere, ogni dottrina degli assiomi. In partic., quel ramo delle scienze matematiche in cui si discute dei principî della matematica (in questo senso, però, il termine è sempre...