Giochi, teoria dei
Roberto Lucchetti
Ogni essere vivente, quando deve prendere delle decisioni, lo fa sempre in modo interattivo: il risultato delle sue scelte, e quindi la sua soddisfazione, dipendono [...] deve impedire che questo accada. Si dimostra che esistono insiemi A per cui questo gioco non ha equilibrio: in 2b)/6). Se letto come distribuzione di utilità sembra un risultato assurdo, se interpretato come indice di potere mostra quanto meno che il ...
Leggi Tutto
Il Contributo italiano alla storia del Pensiero: Scienze (2013)
Algebra, geometria, indivisibili
Enrico Giusti
Primi progressi nell’algebra
Dopo un periodo di gestazione lungo tre secoli, l’algebra è la prima disciplina in cui nel Cinquecento si registrano sostanziali [...] che permette di eliminare completamente la laboriosa riduzione all’assurdo propria dei metodi classici, è alla base di tutti . Ora, congiunta all’altra sulla liceità delle dimostrazioniper sovrapposizione, ha l’effetto di muovere ancor più ...
Leggi Tutto
Intuizionismo
AArend Heyting
di Arend Heyting
Intuizionismo
sommario: 1. Concetti fondamentali. 2. Aritmetica elementare. 3. Il principio del terzo escluso. 4. I numeri reali. 5. Ineguaglianza e separazione [...] contraddittorio', ‛assurdo'.
4. I numeri reali
L'introduzione dei numeri reali fa sorgere delle difficoltà per il logica intuizionista.
13. L'induzione completa
Le dimostrazioniper induzione completa sono valide nella matematica intuizionista. Sia ...
Leggi Tutto
La Rivoluzione scientifica: i domini della conoscenza. La sintesi newtoniana
Maurizio Mamiani
La sintesi newtoniana
Le opere maggiori di Newton
Isaac Newton rese pubbliche due sole opere, destinate [...] non l'approssimazione poligonale del Waste book. Newton dimostra che, per mantenere il moto ellittico di un pianeta intorno l'ordine delle parti del tempo e quelle dello spazio, l'assurdità che un luogo possa essere mosso da sé stesso e l'affermazione ...
Leggi Tutto
Nodi e fisica
Louis H. Kauffman
Sommario: 1. Introduzione. 2. Come fissare un nodo: le mosse di Reidemeister. 3. Invarianti di nodi e links: un primo passo. 4. Il polinomio di Jones. 5. Il polinomio [...] che è manifestamente assurdo.
4. Il polinomio di Jones
Nel capitolo precedente abbiamo dimostrato che l' x-y e che (c(k)j(k), k) sia un dato punto (stato) sulla retta x = k per k = 1, ..., n e 0 〈 j(k) ≤ m, in modo tale che la somma dei proiettori ...
Leggi Tutto
Programmazione lineare
Robert Dorfman
di Robert Dorfman
Programmazione lineare
Introduzione
La programmazione lineare è una famiglia di metodi matematici per individuare i modi più redditizi o in [...] rilievo data la mancanza di un metodo pratico per risolverli o perdimostrarne le implicazioni. Verso la fine degli anni attività sia esercitata a livelli negativi, il che sarebbe assurdo. Vedremo tra breve che questa fase è relativamente banale. ...
Leggi Tutto
L'Eta dei Lumi: matematica. Matematica pura e applicata nel XVIII secolo
Ivor Grattan-Guinness
Matematica pura e applicata nel XVIII secolo
Nel presente volume la determinazione cronologica 'Settecento' [...] , privi di senso storico; per esempio, alcuni hanno ritenuto assurdo che quei vecchi stolti pensassero non ha soluzioni intere per n>2, fu provato per alcuni valori bassi di n, ma per la dimostrazione generale bisognerà attendere fino ...
Leggi Tutto
Il Contributo italiano alla storia del Pensiero: Scienze (2013)
Evangelista Torricelli
Carla Rita Palmerino
Tra i più originali e dotati discepoli di Galileo Galilei, di cui fu successore nella carica di matematico del granduca di Toscana, Evangelista Torricelli [...] essere poco rigoroso, faceva notare che i matematici antichi perdimostrare i loro teoremi più difficili avevano seguito una via archimedeo di esaustione, ovvero della doppia riduzione all’assurdo, e undici basate su quello degli indivisibili, metodo ...
Leggi Tutto
sofisma Termine greco che inizialmente significò ogni manifestazione concreta della σοϕία, cioè della sapienza dell’uomo; più tardi venne usato per designare, in generale, ogni argomentazione speciosa, [...] falso. S. matematico Dimostrazione apparentemente rigorosa che conduce a un risultato palesemente assurdo. Analizzandola, ci si accorge che si è in realtà eseguita qualche operazione priva di senso (come, per es., la divisione per lo zero), oppure ...
Leggi Tutto
METAMATEMATICA
Alberto Pasquinelli
Aldo Marruccelli
. Il problema della metamatematica. - Come disciplina specifica, la m. deve la propria genesi (e la propria denominazione) a D. Hilbert, il quale [...] come un prezioso patrimonio se si può dimostrare con un ragionamento finitistico la coerenza degli assiomi onde essa è derivabile. Il programma hilbertiano fu qualificato un piano per ridurre all'assurdo l'intuizionismo stretto, ma esso non intende ...
Leggi Tutto
assurdo
agg. e s. m. [dal lat. absurdus, propr. «stonato», der. di surdus «sordo»]. – 1. agg. Che è contrario alla ragione, all’evidenza, al buon senso; che è in sé stesso una contraddizione: un’affermazione, una tesi, una supposizione a.;...
ab absurdo
locuz. lat. (propr. «dall’assurdo»). – Argomentazione ab a.: nella logica classica, argomentazione volta a dimostrare la verità di una proposizione, attraverso gli assurdi che deriverebbero ammettendo la proposizione contraria....