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 [...] pubblicazione della sua monografia (Heyting 1956), che Heyting riuscì a suscitare uno studio più attento della matematica intuizionista.
Logica e aritmetica intuizioniste
All'epoca della propria dissertazione Brouwer non si era ancora reso conto del ...
Leggi Tutto
Matematica finanziaria
Enciclopedia Italiana - VII Appendice (2007)
Matematica finanziaria
Marco Papi
Nel corso degli ultimi anni la matematica finanziaria si è notevolmente ampliata nei contenuti e negli strumenti d'analisi. La motivazione di ciò è riconducibile al [...] moto browniano
Sviluppi importanti nel campo della finanza e della matematica applicata si sono avuti con l'adozione di processi stocastici più generale rispetto al modello di Black-Scholes. La logica che guida la scelta di un modello di pricing si ...
Leggi Tutto
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 [...] . tradizionalmente intesa.
Va infine ricordata la polemica antipsicologica di E. Husserl, su cui influirono le tesi del logico, matematico e filosofo B. Bolzano e di F. Brentano. Nella sua opera Formale und transzendentale Logik. Versuch einer Kritik ...
Leggi Tutto
LOGICA E INFORMATICA
Enciclopedia Italiana - V Appendice (1993)
LOGICA E INFORMATICA
Carlo Cellucci
I. McCarthy (1963) afferma che è ragionevole sperare che le relazioni tra l'i. e la l. matematica nel prossimo secolo saranno altrettanto fruttuose di quelle tra [...] di programmazione e la sintesi logica dei programmi.
La macchina a registri illimitati. − Nell'ambito del suo programma fondazionale, D. Hilbert aveva ripetutamente ribadito la convinzione che ogni problema matematico potesse essere risolto mediante ...
Leggi Tutto
Enrìques, Federigo
Enciclopedia on line
Matematico, filosofo e storico della scienza italiano (Livorno 1871 - Roma 1946). È da considerarsi, insieme a G. Castelnuovo e a F. Severi, tra i fondatori della scuola italiana di geometria algebrica. [...] nell'insegnamento. Fu direttore della sezione di matematica dell'Enciclopedia Italiana; collaboratore dell'Encyclopedia of (Lezioni di geometria proiettiva, 1894 e successive ed.) e si ampliò ai più diversi problemi della scienza e della logica. ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
geometria
Enciclopedia on line
In senso ampio e generico, ramo della matematica che studia lo spazio e le figure spaziali.
Cenni storiciL’antichità
- L’origine della g. è legata a concreti problemi di misurazione del terreno (nacque [...] al nascere di problemi nuovi e delicati, come quello della compatibilità logica dei postulati, problemi che vanno inquadrati e inseriti nel più vasto movimento di rinnovamento della matematica moderna che va sotto il nome di ‘critica dei fondamenti ...
Leggi Tutto
CATEGORIA:
GEOMETRIA
giòchi, teorìa dei
Enciclopedia on line
giòchi, teorìa dei Modello matematico per lo studio delle 'situazioni competitive', in cui cioè sono presenti più persone (o gruppi di persone, o organizzazioni) dette appunto 'giocatori', con autonoma [...] e le preferenze che i giocatori hanno su tali esiti.
Matematicamente, ciò si traduce nella descrizione del gioco in forma estesa giocato una volta sola, sembra difficile sfuggire alla sua logica di dilemma. Ma esistono risposte diverse, non è detto ...
Leggi Tutto
CATEGORIA:
MATEMATICA APPLICATA
algebra
Enciclopedia on line
Uno dei rami fondamentali delle scienze matematiche: in senso lato l’a. studia le operazioni, definite in un insieme, che godono di proprietà analoghe a quelle delle ordinarie operazioni dell’aritmetica. [...] di vista algebrico hanno la stessa ossatura logica. Inoltre vengono nettamente separate le ‘proprietà , a partire dal lavoro di M.A. Virasoro, a opera di numerosi matematici e fisici.
Sistema ipercomplesso Sia dato un corpo numerico Γ (per es., ...
Leggi Tutto
CATEGORIA:
ALGEBRA
Church, Alonzo
Enciclopedia on line
Matematico e logico-matematico statunitense (Washington 1903 - Hudson, Ohio, 1995), prof. di matematica (1947-61), poi di matematica e filosofia (1961-67) a Princeton, dal 1967 di matematica e filosofia [...] solo rendere accettabile con argomenti di carattere sperimentale. Ch. sviluppò anche altre linee di ricerca, quali le relazioni con la logica combinatoria di Curry, le questioni di teoria dei tipi e il λ-calcolo. Tra le opere: The calculi of lambda ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Sacchèri, Giovanni Girolamo
Enciclopedia on line
Matematico e filosofo (Sanremo 1667 - Milano 1733), gesuita; insegnò dapprima filosofia e teologia nei collegi della Compagnia di Gesù, poi (1699) matematica nell'univ. di Pavia. Acutissimo logico, S., [...] particolare procedimento di dimostrazione per assurdo (elaborato nella Logica demonstrativa, 1697), tentò di dimostrare il 5º 'opera di S. ha tuttavia grande importanza nella storia della matematica in quanto egli per primo concepì l'idea di vedere a ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE