Storia della civiltà europea a cura di Umberto Eco (2014)
Platone
Mario Vegetti
Il contributo è tratto da Storia della civiltà europea a cura di Umberto Eco, edizione in 75 ebook
Allievo di Socrate e discendente da una nobile famiglia ateniese, Platone può [...] , esistenza e verità coincidono perfettamente.
C’è di più. In virtù dell’“assiomadi corrispondenza” di cui si è detto, Platone ritiene che un imperfette e instabili. Questo schemadi pensabilità appare dotato di soddisfacenti capacità esplicative in ...
Leggi Tutto
L'Universo matematico
John D. Barrow
(Astronomy Centre, University of Sussex, Brighton, Gran Bretagna)
Parte di questo saggio è stata pubblicata sotto il titolo Perché il mondo è matematico? Roma-Bari, [...] molti progressi con questo metodo; egli provò la consistenza di sistemi diassiomi sempre più grandi, tra cui la geometria euclidea, realismo di questo tipo ha una conseguenza davvero straordinaria. Se riusciamo a concepire un qualche schema ...
Leggi Tutto
La grande scienza. Combinatoria
Peter J. Cameron
Combinatoria
Secondo alcuni la combinatoria costituisce soltanto una parte della matematica, secondo altri essa non rappresenta una branca separata, [...] di sottoinsiemi di un insieme, o di lettere in uno schemadi qualche tipo. Gli ufficiali di Euler e le collegiali di Kirkman sono prototipi dei problemi di si possono dedurre dagli assiomidi un sistema standard come quello di Peano. Tale risultato ...
Leggi Tutto
BALBO, Cesare
Ettore Passerin d'Entrèves
Nacque in Torino da Prospero e da Enrichetta Taparelli d'Azeglio il 21 nov. 1789. Orfano della madre già nel 1792, fu affidato, col fratello cadetto Ferdinando [...] di cui il B. aveva sentito l'inopportunità, da un punto di vista religioso, poco prima di morire). Pur partendo dai suoi già noti schemidi quella monotonia, quel martellamento diassiomi un po' dogmaticamente assunti, di cui doveva parlare B. ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. Le origini dell'analisi funzionale
Angus E. Taylor
Le origini dell'analisi funzionale
L'analisi funzionale acquista una precisa identità nel [...] di punti introducendo un nuovo sistema diassiomi. Partendo da un insieme astratto, a ogni coppia didi passaggio al limite, quanto in un principio di analogia, che, mediante opportune trasposizioni, trasferisce operazioni e simboli dello schema ...
Leggi Tutto
Meccanica quantistica
Bruno Crosignani
Eugenio Del Re
Paolo Di Porto
La meccanica quantistica può essere considerata la più efficiente descrizione della natura elaborata dall’uomo. I suoi successi [...] dall’evento che lo ha causato. Nelle pieghe degli assiomi della meccanica quantistica si può prevedere invece un caso nel In termini generali, non esiste alcuno schemadi macchina classica capace di generare rigorosamente numeri a caso. Analogamente, ...
Leggi Tutto
Logiche non standard
Claudio Pizzi
Alcune famiglie di logiche non standard sono costituite da logiche che sono estensioni assiomatiche di quella standard, mentre altre constano di logiche rappresentabili [...] eliminando dalla logica KT l'assioma T, è completo rispetto alla classe di tutti i modelli e anche di tutti i modelli irriflessivi. Inoltre, dato che i sistemi più studiati presentano assiomi che risultano casi speciali dello schema
[1] m□nA ╔ □ j ...
Leggi Tutto
Modelli
Patrick Suppes
Il significato del termine 'modello' nelle scienze
Il termine 'modello' non è usato esclusivamente in ambito scientifico, ma nei contesti più vari. Ciascuno di noi sa che cosa [...] descrizione adeguata dei fenomeni che tratta, ma solo uno schema molto semplificato. Le stesse osservazioni valgono nel caso della non sono elevate al rango diassiomidi una teoria generale. Si tratta di una distinzione riconosciuta nell'ambito ...
Leggi Tutto
Dimostrazione, teoria della
Jean-Yves Girard
La teoria della dimostrazione nasce negli anni Venti del Novecento come strumento di realizzazione del programma di David Hilbert per la fondazione della [...] di trovare le conseguenze ‒ di fatto solo quelle di una certa forma ‒ di un dato insieme Γ diassiomi. Manipolazioni standard ci permettono di riformulare l'insieme diassiomi come insieme di ∀2⇒ permettono di dimostrare lo schemadi comprensione ∃X ...
Leggi Tutto
Combinatoria
Peter J. Cameron
Secondo alcuni la combinatoria costituisce soltanto una parte della matematica, secondo altri non rappresenta una branca separata dalle altre ma le pervade tutte, poiché [...] di sottoinsiemi di un insieme, o di lettere in uno schemadi qualche tipo. Gli ufficiali di Euler e le collegiali di Kirkman sono prototipi dei problemi di si possono dedurre dagli assiomidi un sistema standard come quello di Peano. Tale risultato ...
Leggi Tutto
schema
schèma s. m. [dal lat. schema, gr. σχῆμα -ματος «forma, aspetto, configurazione», da un tema di ἔχω «possedere, avere»] (pl. -i). – 1. Modello convenzionale, semplificato rispetto alla più complessa realtà di un problema, di un fenomeno,...
sistema
sistèma s. m. [dal lat. tardo systema, gr. σύστημα, propr. «riunione, complesso» (da cui varî sign. estens.), der. di συνίστημι «porre insieme, riunire»] (pl. -i). – 1. Nell’ambito scientifico, qualsiasi oggetto di studio che, pur...