La civilta islamica: antiche e nuove tradizioni in matematica. La teoria delle parallele
Christian Houzel
La teoria delle parallele
Secondo la def. 23 che Euclide fornisce nel Libro I degli Elementi, [...] al-Hayṯam mostra che le ipotesi CD>AB e CD⟨AB conducono entrambe a contraddizione. Si prolunghi CA oltre A fino a E, in modo che sia AE=CA meglio, 'al Filosofo'). Il principio ‒ di cui non si trova traccia negli scritti di Aristotele oggi noti ‒ è ...
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' [...] di Lagrange di 'algebrizzare' lo indusse al tentativo di realizzare le speranze di una generalizzazione del principiodidi ricavare una contraddizione da qualsiasi altro assunto fu una buona ricerca, ma non conclusiva. Oltre a varie edizioni di ...
Leggi Tutto
ENRIQUES, Federigo
Giorgio Israel
Nacque a Livorno il 5 genn. 1871 da Giacomo e da Matilde Coriat.
La famiglia si trasferi a Pisa, dove egli frequentò le scuole secondarie. Già qui manifestò la sua [...] del principiodi continuità, mediante il quale egli trasportava le proprietà di un non fu realizzata per alcuni aspetti fondamentali, come l'insegnamento generalizzato della storia della scienza auspicato dall'E., in quanto essa era in contraddizione ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. Teoria della ricorsivita
Piergiorgio Odifreddi
Teoria della ricorsività
La teoria della ricorsività affronta lo studio delle funzioni con lo [...] 0 o S(x) (e non entrambe), Dedekind introdusse il principiodi definizione per ricorsione primitiva: per Non è una contraddizione aver detto che i computer non esistevano al tempo della formulazione della tesi di Church, ma che la definizione di ...
Leggi Tutto
Come termine specifico di logica, la c. è il rapporto vigente tra un’affermazione e una negazione di egual soggetto e di egual predicato. In questa antitesi, vero essendo un termine, l’altro deve essere [...] del soggetto (per es. sfera cubica).
In logica matematica il principiodi c. è espresso dalla formula ¬ (p ⋀ ¬ p). Questo principio, in relazione a un calcolo logistico, impone che non si presentino contemporaneamente due teoremi della forma A e ¬ A ...
Leggi Tutto
Diritto
E. di potere
Definizione. - Vizio di legittimità degli atti amministrativi discrezionali che determina l’annullamento degli stessi. L’e. di potere è nozione complessa, frutto di un lungo percorso [...] potere quando i motivi conducono logicamente a un dispositivo diverso da quello poi adottato. Anche la «contraddizione tra provvedimenti» implica la violazione del principiodi coerenza, e si riscontra quando situazioni analoghe portino all’adozione ...
Leggi Tutto
Economia
Per il rapporto secondo il quale due beni si scambiano tra loro ➔ ragione di scambio.
Ragione sociale
Denominazione data a una società commerciale per contraddistinguerla da altre (è sinonimo [...] »; esprime, in altri termini, non la necessità, ma la possibilità di esistere di una cosa. Mentre il principiodicontraddizione coglie una concatenazione necessaria (pena appunto la contraddizione), il principiodi ragione sufficiente giustifica il ...
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 [...] o contraddizioni. Pertanto, la crisi dei fondamenti va risolta fornendo espressamente una dimostrazione rigorosa dinon contradittorietà allo stretto finitismo, con conseguente ammissione diprincipi metateorici infinitistici; o l'estensione dello ...
Leggi Tutto
Numeri, teoria dei
Alf van der Poorten
(App. IV, ii, p. 626; V, iii, p. 698; v. aritmetica, IV, p. 370)
La dimostrazione dell'ultimo teorema di Fermat
Le ricerche relative all'ultimo teorema di Fermat, [...] piccolo errore e quindi ottenere una contraddizione spuria la quale 'dimostra' che in effetti l'equazione di Fermat non ha soluzioni intere. È impressionante contemplare il numero quasi incalcolabile di ore trascorso dagli 'scopritori' nel percorrere ...
Leggi Tutto
Il Rinascimento. Il metodo e l'ordine del sapere
Cesare Vasoli
Il metodo e l'ordine del sapere
Prodromi di un dibattito
La ricostruzione del lungo dibattito cinquecentesco sui criteri fondamentali [...] che il metodo è essenzialmente un principiodi ordinamento universale che presuppone sia l'inventio sia lo judicium, e il cui compito consiste nel disporre compiutamente le nozioni già trovate o scoperte. Il ramista non dubitava che l'ordine della ...
Leggi Tutto
contraddizione
contraddizióne (o meno corretto contradizióne) s. f. [dal lat. contradictio -onis, der. di contradicĕre «contraddire»]. – 1. a. Il contraddire, il contraddirsi: cadere in c.; cogliere in c.; spirito di c., tendenza abituale...
principio
princìpio s. m. [dal lat. principium, der. di princeps -cĭpis nel sign. di «primo»: v. principe]. – 1. a. L’atto e il fatto di cominciare, inizio: il p. di una azione, di un’impresa; il p. di una nuova vita; dare p., avviare, intraprendere...