PEANO, Giuseppe
Clara Silvia Roero
PEANO, Giuseppe. – Nacque a Spinetta, nei pressi di Cuneo, il 27 agosto 1858, secondogenito di Bartolomeo e di Rosa Cavallo, proprietari terrieri.
Frequentò le scuole [...] dopo aver assunto i concetti primitivi di zero, numero e successore, enunciò gli assiomi per l’aritmetica, ancor oggi universalmente di posizione e della geometria metrica, che anticipava di una decina di anni il metodo assiomatico di David Hilbert. ...
Leggi Tutto
Cibernetica
Ernest H. Hutten
di Ernest H. Hutten
Cibernetica
sommario: 1. Introduzione storica. 2. L'epistemologia delle macchine. 3. La struttura informativa delle macchine. 4. Sistema, processo, informazione [...] e Peano, Russell e Whitehead, e Hilbert sono stati i pionieri di questo sviluppo - si giunge ai cosiddetti tra l'elenco degli assiomi della geometria di Euclide e i tre volumi che contengono le conseguenze di tali assiomi (v. Waddington, 1968 ...
Leggi Tutto
L'Ottocento: matematica. Dalla geometria proiettiva alla geometria euclidea
Jeremy Gray
Dalla geometria proiettiva alla geometria euclidea
La geometria proiettiva
La carriera del matematico francese [...] di 'cartesiana' fiducia nelle astrazioni originate dalle intuizioni semplici. Il testo di Legendre iniziava con definizioni e assiomiHilbert (1862-1943) si schierò in difesa di quella impostazione, seguito poi da un altro brillante matematico di ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. Teoria analitica dei numeri
Günther Frei
Teoria analitica dei numeri
La teoria analitica dei numeri non è una teoria matematica ben definita, [...] è costruita su assiomi o definizioni, né vi sono metodi o teoremi generali e unificanti. In linea di massima essa comprende del 1849 a Encke indicava che
Nel 1900 Hilbert osservò che l'ipotesi di Riemann era equivalente alla:
che dà la migliore ...
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 [...] mediante tale procedimento. Attraverso i lavori di Paul Bernays, David Hilbert, Rózsa Péter e Thoralf Skolem si fermata, e ottenere una versione del 'teorema di Gödel': un sistema diassiomi e regole che sia codificabile mediante un programma ...
Leggi Tutto
Espressione con la quale comunemente si indica l’ambito della ricerca filosofica che ha per oggetto la riflessione critica sulla natura, le metodologie e le implicazioni culturali, politiche, morali, religiose, [...] l’insostituibile ruolo euristico della componente ipotetica. Avverso al logicismo di Peano, Hilbert e Russell, Poincaré affermò il carattere puramente convenzionale degli assiomi geometrici, ritenendo la geometria euclidea soltanto più «comoda ...
Leggi Tutto
Il Contributo italiano alla storia del Pensiero: Scienze (2013)
Federigo Enriques
Giorgio Israel
La figura di Federigo Enriques occupa una posizione centrale nella storia della cultura italiana tra la fine dell’Ottocento e la Seconda guerra mondiale. Egli fu uno [...] Jules-Henri Poincaré (1854-1912) e David Hilbert (1862-1943) – Enriques assunse una posizione mediana: occorre conciliare il criterio logico di indipendenza e coerenza degli assiomi con la loro radice psicologica, che affonda nelle sensazioni e nelle ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. La scuola di Leopoli-Varsavia
Ettore Casari
La scuola di Leopoli-Varsavia
Gli inizi
La singolare vicenda intellettuale divenuta nota come 'Scuola [...] cui si riferisce 'b'). Il famoso assioma unico dell'antologia è la presentazione formale di quest'idea: ∀ab{αεb→[∀c(cεa→ di Varsavia:
Le discipline deduttive costituiscono l'oggetto della metodologia delle scienze deduttive, che oggi, seguendo Hilbert ...
Leggi Tutto
Storia della civiltà europea a cura di Umberto Eco (2014)
Claudio Fiocchi
Il contributo è tratto da Storia della civiltà europea a cura di Umberto Eco, edizione in 75 ebook
Gli straordinari sviluppi della logica dell’Ottocento vanno visti alla luce della coeva [...] del programma formalista di David Hilbert, elaborato negli anni Venti del Novecento.
La notazione logica di Frege
Frege utilizza di un insieme rispondono rispettivamente due assiomi concepiti da Frege come principi logici universali. L’assiomadi ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. Le logiche modali
Fabio Bellissima
Paolo Pagli
Le logiche modali
L'Organon di Aristotele, atto di nascita della logica formale, comprende, oltre [...] si è sviluppata lungo l'asse Boole-Frege-Russell-Hilbert) e, in un primo momento, costituisce il catalizzatore S1-S5, di potenza crescente, ottenibili dal calcolo classico con l'aggiunta diassiomi riguardanti l'operatore di necessità.
Łukasiewicz ...
Leggi Tutto
spazio
spàzio s. m. [dal lat. spatium, forse der. di patēre «essere aperto»]. – 1. Con valore assol., il luogo indefinito e illimitato in cui si pensano contenute tutte le cose materiali, le quali, in quanto hanno un’estensione, ne occupano...