La seconda rivoluzione scientifica: matematica e logica. L'intuizionismo di Brouwer
Anne L. Troelstra
L'intuizionismo di Brouwer
Nella dissertazione Over de Grondslagen der Wiskunde (I fondamenti della [...] L'immersione di Gödel è formulata per l'aritmetica, ma è evidente la possibilità di adattarla alla l'operazione di applicazione tra un numero e il codice di una funzione ricorsiva parziale. Kleene stabilì la correttezza di questa interpretazione: se ...
Leggi Tutto
Trivio
Michele Rak
All'interno delle sette arti liberali, nel Medioevo furono dette arti del T. o, più brevemente, T. le tre arti della Grammatica, Retorica e Dialettica che, distinte dalle quattro [...] quadruvium " come schema delle quattro arti del numero (Aritmetica, Musica, Geometria, Astrologia) nel corso della sua ricerca questo senso le arti liberali svolsero una certa funzione conoscitiva. L'aumentata circolazione delle loro rappresentazioni ...
Leggi Tutto
MONFORTE, Antonio
Federica Favino
– Nacque il 28 maggio 1644 a Laurito, nel Cilento, da un ramo della famiglia dei duchi feudatari di quella baronia fin dal XIV secolo.
Compiuti i primi studi a Potenza [...] era ridotto al solo calcolo, quasi fosse questione puramente aritmetica – e per proporre, in alternativa, il modello dell . La costruzione geometrica delle equazioni ha qui una funzione elusivamente surrettizia, necessaria solo in quei casi in ...
Leggi Tutto
logica
logica teoria dell’inferenza valida, cioè studio della correttezza dei ragionamenti, qualunque sia l’universo di discorso cui essi si riferiscano. Si riserva usualmente il termine «logica», privo [...] come strumento d’indagine circa i sistemi formali dell’aritmetica la cui non contraddittorietà era da provare, avrebbe relazione di accessibilità (o affinità) fra mondi e da una funzione che a ogni enunciato associa la classe dei mondi possibili in ...
Leggi Tutto
Storia della civiltà europea a cura di Umberto Eco (2014)
La musica nella cultura cristiana
Cecilia Panti
Il contributo è tratto da Storia della civiltà europea a cura di Umberto Eco, edizione in 75 ebook
I Padri della Chiesa e gli scrittori ecclesiastici della [...] dialettica), e “quadrivio”, le discipline matematiche, cioè aritmetica, musica, geometria e astronomia. Le arti del canto, che nell’ambito del suo uso liturgico assume una duplice funzione: annunciare ai fedeli la Parola divina e lodare Dio. In ...
Leggi Tutto
FOGGI, Francesco
Paolo Comanducci-Carlo Fantappiè
Nacque a Livorno il 15 ag. 1748 da Anton Domenico, di origine fiorentina, e da Maria Giovanna Michelucci di Livorno (Livorno, Arch. della Curia vescovile, [...] venne concessa al F. una pensione per aver esercitato le funzioni di procuratore gerente dei beni della soppressa Accademia di Pisa i figli del F.: Ferdinando, professore di geometria, aritmetica e trigonometria e poi di algebra nell'università di ...
Leggi Tutto
MODELLO
H.L. Kessler
L'uso di copiare opere del passato costituì, durante tutto il Medioevo, uno dei momenti centrali della produzione artistica, riflettendo sia la natura artigianale dell'arte medievale [...] di nuove opere d'arte, così come le loro origini e la loro funzione. Metà delle scene contenute in un m. per bestiario, della metà Astronomicon di Igino, le Fabulae di Esopo, un testo di aritmetica, e scene tratte dalla Vita di Cristo, derivate da un ...
Leggi Tutto
EANDI, Giuseppe Antonio
Ugo Baldini
Nacque a Saluzzo (od. prov. di Cuneo) il 12 ott. 1735 da Andrea Valeriano, notaio del luogo, e Antonietta Garetti (secondo il biografo più attendibile, il nipote [...] scrisse la parte geometrica, lasciando al nipote quelle di aritmetica e algebra. La strutturazione del testo di fisica quale egli conobbe sollecitamente i lavori, si spiega con la funzione di tramite assolta dal Vassalli.
La campagna d'Italia e l ...
Leggi Tutto
Storia della civiltà europea a cura di Umberto Eco (2014)
Umberto Eco
Il contributo è tratto da Storia della civiltà europea a cura di Umberto Eco, edizione in 75 ebook
Wittgenstein è uno dei filosofi più influenti del Novecento. In vita ha pubblicato un solo [...] Fare una battuta; raccontarla. Risolvere un problema di aritmetica applicata. Tradurre da una lingua in un’altra del contare, non perché ci sia un oggetto matematico privilegiato, una funzione che ha un legame speciale con la nostra parola “più”. Il ...
Leggi Tutto
arte
Fernando Salsano
. In senso lato, significa " attività ", e propriamente l'attualizzarsi di una potenza nell'operare: If XI 100 natura lo suo corso prende / dal divino 'ntelletto e da sua arte [...] della filosofia scolastica - soprattutto la funzione strumentale della seconda rispetto alla prima come sono arti meccanice; o si tratta di scienze, come astronomia (Pg IV 80), aritmetica (Cv IV V 7), medicina (Cv XXVII 8 e 9, due volte), grammatica ...
Leggi Tutto
media
mèdia s. f. [femm. sostantivato dell’agg. medio, sottint. misura, quantità, ecc.]. – 1. In matematica e nelle sue applicazioni, m. di un insieme di valori, o m. aritmetica, o assol. media, il valore dato dalla somma algebrica degli elementi...
armonico
armònico agg. [dal lat. harmonĭcus, gr. ἁρμονικός] (pl. m. -ci). – 1. Che risponde alle leggi dell’armonia, che ha o produce armonia: una serie a. di accordi; un a. concerto di voci; fig., ben proporzionato, ben accordato insieme:...