INTEGRALE, CALCOLO

Enciclopedia Italiana (1933)

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 [...] da quanto abbiamo detto or ora, è essenzialmente fondato sulla riduzione all'assurdo della tesi contraria a quella che si deve provare, e, come tutti i ragionamenti per assurdo, ha il torto di convincere ma non d'illuminare. Esso, inoltre, richiede ... Leggi Tutto

SPAZIO

Enciclopedia Italiana - IV Appendice (1981)

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, per assurdo, che esista z ∈ Ix ⋂ Iy, cosicché d(x, z) 〈 r′; d(y, z) 〈 r′; per la disuguaglianza triangolare si ha però . topologico (S, τ), prodotto della famiglia. Per ragioni di semplicità, supporremo che la famiglia sia finita e ... Leggi Tutto

TAGS: SPAZI VETTORIALI TOPOLOGICI – RICOPRIMENTO APERTO – TOPOLOGIA EUCLIDEA – SPAZI DI BANACH – CONTROIMMAGINE

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 [...] già voluto' di fronte alla perenne attività dello spirito. La ragione per la quale anche la dottrina del Kelsen, nonostante l'ammirevole proprio. O, se si preferisce una dimostrazione per assurdo, l'interpretazione cesserebbe di essere tale soltanto ... Leggi Tutto

CATEGORIA: DIRITTO CIVILE – DIRITTO COMMERCIALE

TAGS: ACCADEMIA DELLE SCIENZE DI TORINO – LEGGE DI GRAVITAZIONE UNIVERSALE – PRINCIPIO DI RAGION SUFFICIENTE – DIRITTO INTERNAZIONALE PRIVATO – SPERIMENTALE DELLA SCIENZA

Fermat, ultimo teorema di

Enciclopedia del Novecento (2004)

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 [...] seguendo queste linee di ragionamento che Kummer ottenne la dimostrazione dell'UTF per tutti gli esponenti primi regolari di partenza nella dimostrazione di Wiles consiste nel supporre, per assurdo, che l'equazione di Fermat di esponente p ammetta ... Leggi Tutto

TAGS: JOURNAL FÜR DIE REINE UND ANGEWANDTE MATHEMATIK – RELAZIONE DI EQUIVALENZA – POLINOMIO IRRIDUCIBILE – ALEXANDER GROTHENDIECK – ADRIEN MARIE LEGENDRE

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 [...] • 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 ipotesi assurda, si giunge a una contraddizione. Questo tipo di ragionamento si basa ... Leggi Tutto

TAGS: PRINCIPIO DEL → TERZO ESCLUSO – DIMOSTRAZIONE PER INDUZIONE – QUINTO POSTULATO DI EUCLIDE – DIMOSTRAZIONE PER ASSURDO – STORIA DELLA MATEMATICA

Energia

Enciclopedia del Novecento (1977)

Energia Arnaldo M. Angelini Arnaldo M. Angelini Enrico Comellini e Luigi Paris Pierre Ailleret Fonti primarie di energia, di Arnaldo M. Angelini Economia e conservazione dell'energia, di Arnaldo [...] tensione V. Ripetendo lo stesso ragionamento per la penultima cella, e poi via via per quelle che la precedono, risulta chiaro ', e di sfuggire così all'assurdità troppo evidente della comune misura per equivalenza nella degradazione dell'energia. ... Leggi Tutto

TAGS: INTERNATIONAL ELECTROTECHNICAL COMMISSION – TONNELLATA EQUIVALENTE DI PETROLIO – PRODUZIONE DI ENERGIA ELETTRICA – ACCADEMIA NAZIONALE DEI LINCEI – RADIAZIONE ELETTROMAGNETICA

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. [...] le norme logico-linguistiche che tutti applichiamo nei nostri ragionamenti quotidiani. Per esempio, dati due enunciati, p e q, l risoluzione'. Questa regola ricalca il principio della dimostrazione per assurdo, che si può enunciare come segue: se ... Leggi Tutto

TAGS: CALCOLO DEI PREDICATI DEL PRIMO ORDINE – MASSACHUSETTS INSTITUTE OF TECHNOLOGY – TEOREMA DI INCOMPLETEZZA DI GÖDEL – PROBLEMA DEL COMMESSO VIAGGIATORE – METODO DEGLI ELEMENTI FINITI

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 [...] 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 devono avere la stessa area, ragion per cui x si trova numericamente dividendo b per a: vi si puo riconoscere la ... Leggi Tutto

TAGS: PHILOSOPHIAE NATURALIS PRINCIPIA MATHEMATICA – METODO DEI MOLTIPLICATORI DI LAGRANGE – ACCADEMIA DELLE SCIENZE DI BERLINO – TEOREMA FONDAMENTALE DELL’ALGEBRA – MEDITATIONES DE PRIMA PHILOSOPHIA

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 [...] ne presentava nessuno, che chiamiamo 'perfezionamento dello studio della teoria'. Presentando questo ragionamento come una semplice argomentazione per assurdo si finisce per non cogliere una caratteristica fondamentale del modo di procedere di Ibn al ... 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 [...] 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 all'inizio del trattato erano aggiunti dei postulati ... Leggi Tutto

CATEGORIA: STORIA DELLA MATEMATICA