La civilta islamica: antiche e nuove tradizioni in matematica. Filosofia della matematica
Roshdi Rashed
Filosofia della matematica
Gli storici della filosofia islamica dimostrano un interesse molto [...] del mondo: non perché io creda all'eternità del mondo o che la conceda loro, ma perché è attraverso questa via che la dimostrazione diventa valida; e si arriva alla certezza perfetta di queste tre cose ‒ l'esistenza di Dio, che Egli sia unico e che ...
Leggi Tutto
Affermazione, proposizione, tesi, opinione che, per il suo contenuto o per la forma in cui è espressa, appare contraria all’opinione comune o alla verosimiglianza e riesce perciò sorprendente o incredibile. [...]
P. del liberale paretiano Teorema presentato dall’economista indiano A.K. Sen (1970) con il quale si vuole dimostrare come, nell’ambito della teoria delle scelte collettive, sia impossibile trovare regole capaci di soddisfare simultaneamente sia il ...
Leggi Tutto
postulato
postulato [Der. del lat. postulatum "ciò che è richiesto", dal part. pass. postulatus di postulare "chiedere"] [ALG] [FAF] Proposizione che si assume come vera quale ipotesi di una dimostrazione [...] né che sia evidente di per sé; si distingue dall'assioma, in quanto questo non è dimostrato perché evidente di per sé. Esistono vari p., alcuni dei quali di fondamentale importanza, come, per es., i p. di appartenenza (o p. grafici), i p. di ...
Leggi Tutto
corollàrio Proposizione che si deduce da una verità già dimostrata. In matematica, un teorema che si deduce come diretta e immediata conseguenza di un teorema precedente, così da non richiedere un'ulteriore [...] dimostrazione. ...
Leggi Tutto
Scienza greco-romana. Aristotele
Enrico Berti
Aristotele
Il ritorno al naturalismo presocratico nelle opere perdute
L'originalità di Aristotele rispetto a Platone nel modo di concepire quell'indagine [...] al valore fornito dai matematici che è pari a 400.000 stadi (De caelo, II, 13-14); un secolo più tardi Eratostene avrebbe dimostrato che essa è di circa 252.000 stadi (39.690 km ca.). Nella seconda parte di quest'opera si dedica allo studio della ...
Leggi Tutto
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
Atteggiamento del pensiero rispetto alla verità, analogo a quello del credente rispetto al dogma: l’accettazione di un principio vi è determinata dal riconoscimento di un’autorità divina o umana, e non [...] già dalla dimostrazione del suo fondamento razionale. Il d. si contrappone così allo spirito critico e al riconoscimento del valore della discussione razionale, quale condizione essenziale per la ricerca della verità e quale ineliminabile ...
Leggi Tutto
risolubilita
risolubilità [Der. di risolubile "il fatto di essere risolubile"] [ALG] [FAF] Principio di r.: enunciato da D. Hilbert nel 1900, affermava che ogni problema matematico ben posto ammette [...] soluzioni; successiv. Hilbert, considerando che il principio stesso necessitava di una dimostrazione, rinunciò a sostenerlo ed enunciò in suo luogo il cosiddetto problema fondamentale della matematica o problema della decisione, che si propone di ...
Leggi Tutto
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 [...] di una vera e propria filosofia della m.: il suo obiettivo, poi condiviso anche da B. Russell, era quello di dimostrare la natura essenzialmente logica e analitica dei concetti e del ragionamento matematico, in particolare contro le tesi di J.S. Mill ...
Leggi Tutto
VEDĀNTA (o Uttara-mīmāṃsā)
Ambrogio Ballini
Sistema filosofico indiano che si può considerare il più celebre fra i sei sistemi ortodossi (v. india: Letteratura), come quello che poté trionfare su ogni [...] altra dottrina dell'India antica e moderna, così da contare pur oggi molti milioni di adepti.
Suo fondamento è la dimostrazione dell'unità assoluta dello spirito individuale (Ātman) con l'universale (Brahman): di qui l'altro nome dato al sistema di ...
Leggi Tutto
dimostrazione
dimostrazióne s. f. [dal lat. demonstratio -onis]. – 1. a. Ogni atto, fatto, comportamento, parola o discorso che mostra o dimostra o rivela qualche c0sa, che cioè rende o con cui si rende manifesto, conosciuto, chiaro o certo...