Cerca in:
Hauptsatz di Gentzen
Enciclopedia della Scienza e della Tecnica (2008)
Hauptsatz di Gentzen
Silvio Bozzi
Con questo nome (che significa teorema fondamentale) nella letteratura logica si indica una classe di teoremi il cui prototipo è dato dal risultato ottenuto da Gerhald [...] per queste teorie fornirebbe una dimostrazione finitista di coerenza. Come provato da Gentzen nel 1936 nel caso dell’aritmetica di Peano, il teorema vale ma richiede sul piano metateorico il ricorso all’induzione aperta sull’ordinale . Il discorso si ...
Leggi Tutto
CATEGORIA:
LOGICA
La civiltà islamica: antiche e nuove tradizioni in matematica. Filosofia della matematica
Storia della Scienza (2002)
La civilta islamica: antiche e nuove tradizioni in matematica. Filosofia della matematica
Roshdi Rashed
Filosofia della matematica
Gli storici della filosofia islamica dimostrano un interesse molto [...] ‒ dell'aritmetica, cioè, della geometria, dell'astronomia e della musica così ottenute deduce il suo teorema principale: Dio esiste, è fondamentali della letteratura. Suo padre stava allora studiando e meditando su un opuscolo dei Fratelli della ...
Leggi Tutto
La civiltà islamica: condizioni materiali e intellettuali. Dal greco all'arabo: trasmissione e traduzione
Storia della Scienza (2002)
La civilta islamica: condizioni materiali e intellettuali. Dal greco all'arabo: trasmissione e traduzione
Roshdi Rashed
Dal greco all'arabo: trasmissione e traduzione
Gli storici delle scienze e della [...] . 56-60)
Questo testo fondamentale ci spiega nel linguaggio dell'epoca cos'era la traduzione aritmetica neopitagorica, che non era di altissimo livello, ma si iscriveva nell'ambito della sua ricerca. Egli arriva a elaborare con il suo celebre teorema ...
Leggi Tutto
La scienza bizantina e latina. Introduzione
Storia della Scienza (2001)
La scienza bizantina e latina. Introduzione
John D. North
Introduzione
Gli storici della scienza medievale che tentino d'individuare il nome del primo esponente moderno della loro disciplina rischiano [...] anche dopo la diffusione della traduzione dell'aritmetica di al-Ḫwārazmī, eseguita , vale a dire quell'attività fondamentale consistente nel determinare gli algoritmi necessari applicazioni (per es., il teorema della velocità media di Merton) era ...
Leggi Tutto
La seconda rivoluzione scientifica: introduzione. Fisica e filosofia della scienza all'alba del XX secolo
Storia della Scienza (2004)
La seconda rivoluzione scientifica: introduzione. Fisica e filosofia della scienza all'alba del XX secolo
Don Howard
Fisica e filosofia della scienza all'alba del XX secolo
Simbiosi disciplinare
La [...] dell'aritmetica di Peano (nella formulazione di primo ordine) ammetteva necessariamente, come Kurt Gödel dimostrò in un corollario al suo primo teorema dell potranno essere in futuro i concetti fondamentali della fisica: certamente fra questi non vi ...
Leggi Tutto
La Rivoluzione scientifica: i protagonisti. Gottfried Wilhelm Leibniz
Storia della Scienza (2002)
La Rivoluzione scientifica: i protagonisti. Gottfried Wilhelm Leibniz
Massimo Mugnai
Gottfried Wilhelm Leibniz
Gli anni giovanili
Gottfried Wilhelm Leibniz nasce a Lipsia il 1° luglio 1646, da famiglia [...] della matematica. All'inizio dell'anno successivo si applica alla costruzione di una macchina calcolatrice in grado di eseguire le quattro operazioni dell'aritmetica il teorema fondamentale del calcolo, il secondo il metodo inverso delle tangenti. ...
Leggi Tutto
simmetrico
Dizionario delle Scienze Fisiche (1996)
simmetrico
simmètrico [agg. (pl.m. -ci) Der. di simmetria] [LSF] Di sistemi che presentino una qualche simmetria, per lo più geometrica, nella loro configurazione ma anche di funzioni che li descrivono, [...] fondamentali sono la somma delle indeterminate, la somma dei prodotti a due a due, la somma dei prodotti a tre a tre, ecc.; il teorema fondamentale s.: nella statistica, seriazione in cui coincidono la media aritmetica, la mediana e la moda. ◆ [ALG] ...
Leggi Tutto
Pascal, Blaise
Enciclopedia on line
Scienziato e filosofo (Clermont, od. Clermont-Ferrand, 1623 - Parigi 1662). Il padre, Étienne (v.), magistrato e buon matematico, orientò Blaise, secondogenito, in un ambiente scientifico, quello del circolo [...] . Fondamentale per questo ritrovamento dell'infinito teorema di P. è il teorema di Brianchon.
Triangolo di Pascal. - È il triangolo aritmetico (v. Tartaglia, Niccolò: Triangolo di Tartaglia) che consente di calcolare per induzione i coefficienti dello ...
Leggi Tutto
Cardano, Gerolamo
Enciclopedia on line
Medico, matematico, filosofo (Pavia 1501 - Roma 1576). Figlio illegittimo del giurista Fazio (Milano 1445 - ivi 1524), ebbe una fanciullezza travagliata; iniziati gli studî a Pavia e a Milano, li compì [...] 1545), che segna una data fondamentale nella storia delle matematiche, e che contiene anche la formula risolutiva dell'equazione di 4º grado, della sospensione che da lui ha nome, un celebre teorema sui moti ipocicloidali, una dimostrazione dell ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
EPISTEMOLOGIA
Enciclopedia Italiana - IV Appendice (1978)
. Assumendo la parola "epistemologia" nel senso di "riflessione critica generale intorno alla conoscenza scientifica", il presente tentativo di sintesi problematica delle acquisizioni epistemologiche post-ottocentesche [...] acquisire rilievo fondamentale nell' delle conoscenze matematiche tradizionali), sia per l'esito del famoso teorema di K. Gödel, che nel 1931 mostrò l'intrinseca impossibilità di stabilire, entro un sistema logico-matematico implicante l'aritmetica ...
Leggi Tutto