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 [...] L'aritmeticae l'ordinale ε0
Il lavoro di Gentzen cui abbiamo fatto riferimento è posteriore ai contributi di Gödel e nel 1991 è che ‒ per realizzare in concreto l'unità tra le diverse logiche classica, intuizionista e lineare ‒ è necessario ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica elogica. Algebra
Claudio Procesi
Algebra
Per comprendere la storia dell'algebra del XX sec. è necessario fare un breve quadro dello sviluppo della disciplina [...] dei gruppi aritmetici, con i profondi risultati di Grigorij Aleksandrovič Margulis e la attuale teoria dei gruppi computabili che tenta di analizzare classi di gruppi infiniti in cui si possano sviluppare metodi effettivi.
Logica, combinatoria e K ...
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
Niccolò Cusano, esponente di spicco dell’umanesimo europeo, è generalmente noto per la sua [...] , familiarizza con gli insegnamenti fondamentali di fisica, etica, logicae retorica, per trasferirsi dopo un anno all’università di l’unitàaritmetica contribuisce a costituire. Il rapporto tra la prima unitàe le altre tre potenze è quindi ...
Leggi Tutto
Il Contributo italiano alla storia del Pensiero: Scienze (2013)
Giuseppe Peano
Clara Silvia Roero
Negli ultimi decenni dell’Ottocento e nei primi del Novecento le ricerche matematiche, logichee linguistiche di Giuseppe Peano ebbero una straordinaria eco internazionale. [...] e sviluppati negli Stati Uniti da William Fogg Osgood (1864-1943), e in Europa da Charles-Jean de la Vallée-Poussin (1866-1962) e Vailati per la logicae la storia, Filiberto Castellano per l’algebra, Burali-Forti per l’aritmeticae la teoria delle ...
Leggi Tutto
Storia della civiltà europea a cura di Umberto Eco (2014)
Donatella Melini
Il contributo è tratto da Storia della civiltà europea a cura di Umberto Eco, edizione in 75 ebook
Il secolo XIII vede il fiorire delle università, istituzioni di alto prestigio intellettuale [...] e imprescindibile del sapere musicale.
La musica fra aritmeticae filosofia esercizi logici, elaborati attraverso specifici “linguaggi di misura”, e l’ la concezione è del tutto differente, in quanto l’unità di misura della nota è “una” e perfetta, ...
Leggi Tutto
Termine sotto il quale si è soliti comprendere tre significati distinti: una serie di attività volte a far apprendere un insieme coordinato di conoscenze; il risultato riscontrabile nel soggetto dell’insegnamento [...] come la geometria, l’aritmeticae l’astronomia (si configura , la matematica e la logica, permettesse al unità fondamentali concatenate tra loro (quadri) che si susseguono in un ordine progressivo di difficoltà. Ogni quadro presenta un’informazione e ...
Leggi Tutto
INDIA (A. T., 93-94)
Umberto TOSCHI
Fabrizio CORTESI
Mario SALFI
Umberto TOSCHI
Egon von EICKSTEDT
Renato BIASUTTI
Ambrogio BALLINI
Alberto PINCHERLE
Umberto TOSCHI
Umberto TOSCHI
Gennaro MONDAINI
Giuseppe [...] , al Nyāya, che lo trova nella logica, a Pāṇini, il grande grammatico, che Al secondo posto sono nel dopoguerra gli Stati Uniti, con una bilancia commerciale passiva per essi, e Bhāskarācārya dimostrano lo sviluppo eccezionale dell'aritmeticae ...
Leggi Tutto
LINGUAGGI PROGRAMMATIVI
Carlo Ghezzi
I l. p. (o linguaggi di programmazione) costituiscono il mezzo linguistico tramite cui gli elaboratori possono essere programmati. Essi costituiscono pertanto lo [...] si accede all'interno di un'espressione aritmetica abbiano un tipo numerico, vietando pertanto di memoria e un altro dato contenuto in un certo registro dell'unità operativa. nascita di estensioni ai linguaggi logicie funzionali, molte delle quali ...
Leggi Tutto
Intenzionalità
Giuseppe Mininni
Il concetto di intenzionalità può essere compreso secondo molteplici percorsi (Lyons 1995), accomunati, però, da uno spostamento di senso che va dal concreto all'astratto [...] testualità' (de Beaugrande, Dressler 1981): infatti, ogni unità effettiva di uso della lingua funziona da segno in una Philosophie und philosophische Kritik, 1892, 110 (trad. it. in Logicaearitmetica, a cura di C. Mangione, Torino 1965, 1977², pp. ...
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 [...] russelliano circa la profonda unità, cogente struttura e astratta pregnanza del logica dei predicati nell'insieme dei numeri naturali, la cosiddetta gerarchia di Kleene; R. Péter, Th. Skolem e R. L. Goodstein elaborano i particolari dell'aritmeticae ...
Leggi Tutto
unita
unità s. f. [dal lat. unĭtas -atis, der. di unus «uno»; in alcuni dei sign. concreti, ha risentito l’influenza dell’ingl. unit (che in inglese è distinto da unity)]. – 1. a. Il fatto, la condizione e la caratteristica di essere uno,...
ragione
ragióne s. f. [lat. ratio -onis (der. di ratus, part. pass. di reri «fissare, stabilire»), col sign. originario di «conto, conteggio»]. – 1. a. La facoltà di pensare, mettendo in rapporto i concetti e le loro enunciazioni, e insieme...