La seconda rivoluzione scientifica: matematica e logica. L'intuizionismo di Brouwer

Storia della Scienza (2004)

La seconda rivoluzione scientifica: matematica e logica. L'intuizionismo di Brouwer Anne L. Troelstra L'intuizionismo di Brouwer Nella dissertazione Over de Grondslagen der Wiskunde (I fondamenti della [...] asserzione matematica ancora non dimostrata, come l'ipotesi di Riemann. X è un sottoinsieme dell'insieme finito {1, 2}, ma non possiamo provare che X è finito, poiché ciò ci costringerebbe a decidere se X abbia uno oppure due elementi e per questo ... Leggi Tutto

CATEGORIA: STORIA DELLA MATEMATICA – STORIA DEL PENSIERO FILOSOFICO

macchina di Turing

Enciclopedia della Scienza e della Tecnica (2008)

Macchina di Turing Mauro Cappelli Modello di agente di calcolo adatto a simulare la logica di qualsiasi algoritmo computazionale. La macchina formale fu proposta nel 1936 dal logico e matematico britannico [...] idealmente in modo infinito nei due versi e risulta diviso in celle, ciascuna contenente un simbolo appartenente a un insieme finito di simboli detto alfabeto. Ogni ;macchina di Turing deve possedere un alfabeto che contenga il simbolo speciale b ... Leggi Tutto

CATEGORIA: LOGICA – ELABORATORI

TAGS: INTELLIGENZA ARTIFICIALE – INFORMATICA TEORICA – ALAN TURING – ALGORITMO

logiche a piu valori

Enciclopedia della Scienza e della Tecnica (2008)

logiche a più valori Settimo Termini Nel ricco panorama delle varianti della logica classica esse si presentano come logiche non classiche vero-funzionali (cioè, il valore di verità di un enunciato [...] valori di verità. Nei sistemi di logiche a più valori, i valori di verità solitamente formano un insieme finito ordinato, un insieme infinito numerabile o un insieme continuo come, per es., l’intervallo [0,1] della retta reale. Dato anche l’interesse ... Leggi Tutto

CATEGORIA: LOGICA

schema

Dizionario delle Scienze Fisiche (1996)

schema schèma [Lat. schema, der. del gr. schèma -atos "aspetto"] [FAF] Modello convenzionale, semplificato rispetto alla realtà, di un problema, un fenomeno, un processo, un dispositivo, ecc. Gli s. [...] secondo una determinata geometria; si contrapp. a s. particellare. ◆ [ALG] [FAF] S. di assiomi: nella logica matematica, un insieme finito di assiomi che viene rappresentato con un'unica formula, in cui compaiono uno o più simboli la cui precisazione ... Leggi Tutto

CATEGORIA: FISICA MATEMATICA – FISICA TECNICA – STORIA DELLA FISICA – TEMI GENERALI – ALGEBRA – STATISTICA E CALCOLO DELLE PROBABILITA – EPISTEMOLOGIA – METAFISICA – ELETTRONICA

matematica

Enciclopedia on line

Insieme delle scienze che studiano in modo ipotetico-deduttivo entità astratte come i numeri e le misure: la m. pura studia i problemi matematici indipendentemente dalla loro utilizzazione pratica; alla [...] può ritenere ben rappresentato da alcune grandi opere d’insieme, apparse a cavallo tra Settecento e Ottocento: i della matematica. - È a Frege, del resto, che si deve, sul finire del 19° sec., la nascita di una vera e propria filosofia della m.: ... Leggi Tutto

CATEGORIA: TEMI GENERALI – MATEMATICA APPLICATA – STORIA DELLA MATEMATICA – EPISTEMOLOGIA – METAFISICA

TAGS: PHILOSOPHIAE NATURALIS PRINCIPIA MATHEMATICA – SISTEMA DI NUMERAZIONE POSIZIONALE – SISTEMA DI NUMERAZIONE DECIMALE – TEORIA DELLE RAPPRESENTAZIONI – PROBLEMA DEI QUATTRO COLORI

filosofia

Enciclopedia on line

Attività di pensiero che attinge ciò che è costante e uniforme al di là del variare dei fenomeni, con l’ambizione di definire le strutture permanenti della realtà e di indicare norme universali di comportamento. Definizioni La [...] io si comprendono, come la creatura si comprende nel creatore, il finito nell’infinito. Di qui diverse posizioni sui compiti e i limiti descrizione) del mondo, quest’ultimo non essendo un insieme di dati, oggetti o fatti indipendenti dal modo in ... Leggi Tutto

CATEGORIA: TEMI GENERALI – STORIA DEL PENSIERO FILOSOFICO

TAGS: TEORIA GENERALE DEI SISTEMI – INDAGINE SCIENTIFICA – FILOSOFIA ANALITICA – FISICA SPERIMENTALE – SCIENZA COGNITIVA

logica

Enciclopedia on line

Filosofia Disciplina che studia le condizioni di validità delle argomentazioni deduttive. La l. antica I vocaboli ἡ λογική (τέχνη), τὰ λογικά si stabilizzarono nel significato di «teoria del giudizio [...] influenza di Boezio divenne determinante. Quattro delle sue opere costituirono, insieme con l’opuscolo di Porfirio e le due opere di Aristotele, di ricavare da essi, mediante un numero finito di inferenze logiche, una contraddizione. Particolarmente ... Leggi Tutto

CATEGORIA: FILOSOFIA DEL DIRITTO – LOGICA – ELETTRONICA

TAGS: PRINCIPIO DEL TERZO ESCLUSO – FONDAMENTI DELLA MATEMATICA – TEORIA DELLA DIMOSTRAZIONE – LOGICA DELLE PROPOSIZIONI – CALCOLO DIFFERENZIALE

operatore

Enciclopedia on line

Biologia In genetica, tratto di DNA che fa parte di un operone e condiziona la trascrizione dei geni strutturali immediatamente adiacenti (➔ operone). Filosofia In filosofia analitica, un’espressione [...] applicazione f→∂f/∂x e a ∂/∂y l’applicazione f→∂f/∂y). L’insieme di o. Ω risulta dotato della struttura di semigruppo con unità, commutativo S(ω) nell’interno e FT è composto di un numero finito di curve semplici e rettificabili; il valore f(ω) così ... Leggi Tutto

CATEGORIA: ANTROPOLOGIA FISICA – GENETICA – MESTIERI E PROFESSIONI – FISICA MATEMATICA – MECCANICA QUANTISTICA – ANALISI MATEMATICA – LOGICA MATEMATICA – FILOSOFIA DEL LINGUAGGIO – METAFISICA

TAGS: QUANTIFICATORE ESISTENZIALE – GEOMETRIA DIFFERENZIALE – MECCANICA QUANTISTICA – SISTEMI DIFFERENZIALI – ANELLO DEI POLINOMI

Gentile, Giovanni

Enciclopedia on line

Filosofo e storico della filosofia (Castelvetrano 1875 - Firenze 1944). Discepolo alla Scuola normale superiore di Pisa di D. Jaja (che lo avvicinò al pensiero di B. Spaventa), di A. D'Ancona e di A. Crivellucci; [...] 'Io, e quindi di ogni dualismo (di natura e spirito, finito e infinito, ecc.), si afferma l'assoluto spiritualismo o immanentismo. nella sua unità e organicità, come opera di poesia e insieme di pensiero. ▭ G. ha svolto opera vastissima anche come ... Leggi Tutto

CATEGORIA: BIOGRAFIE

TAGS: SCUOLA NORMALE SUPERIORE DI PISA – ACCADEMIA D'ITALIA – PROBLEMATICISMO – DESTRA STORICA – ESAME DI STATO

Bruno, Giordano

Enciclopedia on line

Filosofo (Nola 1548 - Roma 1600). Filippo della famiglia dei Bruni, assunse il nome di Giordano entrando a 17 anni nel convento di S. Domenico a Napoli. Sospettato di eresia, riparò a Roma (1576), di qui, [...] , religione questa che in modo diverso sottostà - e insieme sovrasta - le religioni storiche, modi diversi di riconoscere ipotesi copernicana, da lui sentita come rottura di un universo finito per affermare l'attualità di un infinito che non è ... Leggi Tutto

CATEGORIA: BIOGRAFIE

TAGS: SPACCIO DE LA BESTIA TRIONFANTE – INQUISIZIONE – DETERMINISMO – INGHILTERRA – ARISTOTELE