assurdo, dimostrazione per
Enciclopedia della Matematica (2013)
assurdo, dimostrazione per
assurdo, dimostrazione per → dimostrazione; → reductio ad absurdum. ...
Leggi Tutto
assurdo, dimostrazione per
Dizionario di filosofia (2009)
assurdo, dimostrazione per
Tipo di argomentazione (detta anche dimostrazione indiretta) per cui, presupposta vera la tesi opposta a quella che si vuol dimostrare, si fa vedere come ne derivino conseguenze [...] assurde o inaccettabili. Tale tipo di dimostrazione presuppone naturalmente, per la sua validità, che tra il demonstrandum e la sua negazione, posta a base dell’argomentazione, viga una rigorosa antitesi di contraddittorietà, escludente ogni terzo ...
Leggi Tutto
dimostrazione
Enciclopedia della Matematica (2013)
dimostrazione
dimostrazione concatenazione logica tra asserzioni che deduce da una serie di premesse dette ipotesi, attraverso proposizioni intermedie, una conclusione detta tesi che è necessaria conseguenza [...] A come assioma, ottenendo come teorema (in questa teoria ampliata) la formula B;
• la dimostrazione per assurdo. Per dimostrare la formula A si dimostra che aggiungendo agli assiomi come premessa la formula ￢A, cioè la negazione di A, detta anche ...
Leggi Tutto
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., [...] usando un particolare procedimento di dimostrazione per assurdo (elaborato nella Logica demonstrativa, 1697), tentò di dimostrare il 5º postulato degli Elementi di Euclide: "per un punto fuori di una retta passa una sola parallela alla retta data" ( ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Informatica
Enciclopedia del Novecento (1989)
Informatica
Fabrizio Luccio
Franco P. Preparata
Carl-Erik Fröberg
Piero Sguazzero
Piero Dell'Orco e Tomaso Poggio
Teoria della computazione di Fabrizio Luccio
SOMMARIO: 1. Origine e motivazioni. [...] e soli i teoremi validi) e chiamò questa regola ‛principio di risoluzione'. Questa regola ricalca il principio della dimostrazione per assurdo, che si può enunciare come segue: se, unendo la negazione della conclusione alle ipotesi di partenza, si ...
Leggi Tutto
STORIA DELLA MATEMATICA
Enciclopedia della Matematica (2013)
STORIA DELLA MATEMATICA
Luigi Borzacchini
STORIA DELLA MATEMATICA
Il tempo della scienza senza tempo
La matematica è la più antica e la più immutabile delle discipline. Si può dire che la matematica [...] che il rapporto tra i cerchi è uguale al rapporto tra i quadrati con lati uguali ai rispettivi raggi (fig. 9). Lo si dimostra per assurdo: se si suppone che il rapporto tra i cerchi A : B sia minore del rapporto tra i quadrati C : D, allora il ...
Leggi Tutto
Diritto
Enciclopedia del Novecento (1977)
Diritto
Bruno Paradisi
di Bruno Paradisi
Diritto
sommario: 1. Considerazioni preliminari. 2. Distinzione nella trattazione del diritto nel XX secolo. 3. Rapporto tra morale e diritto. 4. Il positivismo [...] di determinare il significato di un oggetto che esso ha assunto come proprio. O, se si preferisce una dimostrazione per assurdo, l'interpretazione cesserebbe di essere tale soltanto se essa assumesse i caratteri formali della legislazione.
14. Il ...
Leggi Tutto
La civiltà islamica: teoria fisica, metodo sperimentale e conoscenza approssimata. Ibn al-Hayṯam e la nuova fisica
Storia della Scienza (2002)
La civilta islamica: teoria fisica, metodo sperimentale e conoscenza approssimata. Ibn al-Haytam e la nuova fisica
Hossein Masoumi Hamedani
Ibn al-Hayṯam e la nuova fisica
Apartire dalla fine del XIX [...] indiretto: dopo aver descritto tre diversi casi possibili, egli li rifiuta uno alla volta con l'aiuto di una dimostrazione per assurdo.
a) Primo caso: la luce emana soltanto dal centro della sorgente luminosa. Se ciò fosse possibile, il vertice del ...
Leggi Tutto
CATEGORIA:
STORIA DELLA FISICA
La scienza bizantina e latina: la nascita di una scienza europea. Le discipline matematiche
Storia della Scienza (2001)
La scienza bizantina e latina: la nascita di una scienza europea. Le discipline matematiche
Menso Folkerts
Richard P. Lorch
Anne Tihon
Le discipline matematiche
La matematica nell'Europa latina
di [...] della Scolastica: uno stile disputativo, l'introduzione di un falsigraphus nelle dimostrazioni mediante reductio ad absurdum (cioè la cosiddetta 'dimostrazione per assurdo'), commenti sulla struttura logica del ragionamento, e così via. A volte ...
Leggi Tutto
CATEGORIA:
STORIA DELLA MATEMATICA
Aristotele
Storia della civiltà europea a cura di Umberto Eco (2014)
Aristotele
Enrico Berti
Il contributo è tratto da Storia della civiltà europea a cura di Umberto Eco, edizione in 75 ebook
Aristotele è l’autore del primo sistema filosofico-scientifico elaborato nella [...] una conclusione che contraddice la proposizione opposta a quella che si vuole dimostrare, cioè la fa risultare assurda. In tal caso si ha una dimostrazione per assurdo o “riduzione all’impossibile”.
Nei Topici Aristotele illustra un altro tipo di ...
Leggi Tutto