GEOMETRIA (gr. γεωμετρία)
Federigo ENRIQUES
Gin. F.
1. Le origini. - Geometria significa etimologicamente "misura della terra", e rimane ancora traccia di questo significato nella denominazione di "geometri" [...] di Euclide e il cosiddetto metodo d'esaustione: procedimento perassurdo in cui si deduce l'eguaglianza di due grandezze dall'impossibilità che esista una differenza, e mercé cui si dimostra, per esempio, la proporzionalità dei cerchi ai quadrati dei ...
Leggi Tutto
INTEGRALE, CALCOLO
Leonida Tonelli
. Sviluppo storico. - Nella geometria, nella meccanica, e, in generale, nelle applicazioni delle matematiche allo studio dei fenomeni naturali e sociali, si presentano [...] quindi P2 > C2, disuguaglianza assurdaper essere il poligono di area P2 contenuto nel cerchio di area C2. Analogamente si proverebbe assurda l'ipotesi C1 〈 E. È dunque C1 = E, donde la proprietà da dimostrarsi.
Siccome con l'iscrizione, nel primo ...
Leggi Tutto
SPAZIO (XXXII, p. 315; App. III, 11, p. 789)
Vittorio Dalla Volta
Matematica. - Oggi si considerano quasi esclusivamente s. topologici, con l'aggiunta di eventuali altre strutture (per es., di s. vettoriale), [...] r/2; supponiamo, perassurdo, che esista z ∈ Ix ⋂ Iy, cosicché d(x, z) 〈 r′; d(y, z) 〈 r′; per la disuguaglianza triangolare si ha per ogni x ∈ S; b) f (a) = 0 per ogni a ∈ A; f (b) = 1 per ogni b di B. Ci si serve di questo fatto perdimostrare, per ...
Leggi Tutto
Nella logica aristotelica può significare genericamente il metodo risolutivo di un problema mediante la sua "riduzione" a un altro problema, già risoluto (cfr., p. es., Aristot., Analyt. priora, II, 25, [...] con la moderna "riduzione all'assurdo"; e già Aristotele l'aveva determinata come "riduzione all'impossibile" (εἰς τὸ ἀδυνατον ἀπαγωγή: v., p. es., Analyt. pnora, I, 6, 28b,2) e parificata quindi alla "dimostrazioneper l'impossibile" (ἀπόδειξις διὰ ...
Leggi Tutto
ZENONE di Elea
Guido Calogero
Pensatore greco del sec. V a. C. Scolaro di Parmenide, fu uno dei principali rappresentanti della scuola eleatica. Secondo Apollodoro la sua acme cadrebbe tra il 464 e [...] , che, rinnovandosi per ogni altro elemento e per le realtà che li distinguono, conduce all'antinomia della finità e infinità numerica del molteplice. Col medesimo procedimento ideale, del resto, Z. dimostra altrove un'eguale assurda compresenza di ...
Leggi Tutto
Fermat, ultimo teorema di
MMassimo Bertolini
di Massimo Bertolini
SOMMARIO: 1. Introduzione. ▭ 2. Storia: il lavoro di Kummer. ▭ 3. Estensioni abeliane di Q. ▭ 4. Estensioni esplicite di campi e funzioni [...] di Fermat: il teorema di Ribet.
Come nell'approccio concepito da Kummer, il punto di partenza nella dimostrazione di Wiles consiste nel supporre, perassurdo, che l'equazione di Fermat di esponente p ammetta una soluzione intera (a, b, c) con abc ...
Leggi Tutto
intuizionismo
intuizionismo concezione della matematica secondo cui l’affermazione di esistenza di enti matematici è lecita solo se si dispone di un metodo che ne garantisca la costruibilità. In questo [...] buona parte della matematica stessa si è sviluppata attraverso risultati dimostratiperassurdo: si pensi, per esempio, che già la dimostrazione della irrazionalità di √(2) avviene perassurdo.
A differenza dei logicisti e dei formalisti, il cui fine ...
Leggi Tutto
Il Rinascimento. Le arti matematiche
Eberhard Knobloch
Ivo Schneider
Le arti matematiche
Il concetto di scienze matematiche
di Eberhard Knobloch
Il Rinascimento riprese dal Medioevo il concetto delle [...] la purezza dei metodi della geometria, in quanto la dimostrazioneper sovrapposizione presupponeva il ricorso al moto, ossia alla con uno di poco inferiore. Di conseguenza era giudicata assurda anche la teoria di Tartaglia secondo cui con angoli ...
Leggi Tutto
GEOMETRIA ALGEBRICA
Ciro Ciliberto
Igor R. Shafarevich
Lo sviluppo delle idee di Ciro Ciliberto
Sommario: 1. I temi classici della geometria algebrica. a) Integrali abeliani e curve algebriche. b) [...] non costante f:X0 (2) → E, il che è assurdo perchè X0 (2) risulta essere razionale.
BIBLIOGRAFIA
Albanese, G., attuale, la congettura di finita generazione è stata dimostrataper dim X ≤ 3 e per le varietà di tipo generale in dimensione qualunque.
...
Leggi Tutto
La Rivoluzione scientifica: i domini della conoscenza. Meccanica e scienza del moto
Domenico Bertoloni Meli
Meccanica e scienza del moto
Il contesto intellettuale, istituzionale e sociale
Scrivere [...] della Terra; ipotesi sostenuta con un ragionamento perassurdo. Nel Diversarum speculationum liber (1585), il tratti E e D, più larghi. Qui lo scopo di Newton è dimostrare che l'ipotesi dei vortici porta necessariamente a una contraddizione: o con le ...
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....