Includi: tutti i seguenti filtri
× Livello Analitici
× Soggetto Logica matematica

Trovati 12 documenti.

Logica matematica
0 0
Analitici

Carruccio, Ettore

Logica matematica / Ettore Carruccio

Abstract: Calcolo delle proposizioni; calcolo delle classi; algebre astratte; calcolo dei predicati; Quantificazione uniforme; Sistema ipotetico-deduttivo; Antinomie e teorie escogitate per superarle. Nuove logiche, sistemi formali.

Ideografia : un linguaggio in formule del pensiero puro, a imitazione di quello aritmetico (1878)
0 0
Analitici

Frege, Gottlob

Ideografia : un linguaggio in formule del pensiero puro, a imitazione di quello aritmetico (1878) / Gottlob Frege

Torino : Boringhieri

Abstract: 1. Spiegazione dei segni (il giudizio; la condizionalita; la negazione, l'uguaglianza di contenuto; la finzione; la generalità). 2. Esposizione e derivazione di alcuni giudizi del pensiero puro. 3. Elementi di una teoria generale delle successioni.

I fondamenti dell'aritmetica: una ricerca logico-matematica sul concetto di numero (1884)
0 0
Analitici

Frege, Gottlob

I fondamenti dell'aritmetica: una ricerca logico-matematica sul concetto di numero (1884) / Gottlob Frege

Torino : Boringhieri

Abstract: 1. Ragioni e compito dell'opera. 2. Opinioni di alcuni scrittori sulla natura delle proposizioni aritmetiche (le formule aritmetiche sono dimostrabili? le leggi dell'aritmetica sono verità induttuve?le leggi dell'aritmetica sono sintetiche a priori oppure analitiche?). 3. Opinioni di alcuni scrittori sul concetto di numero naturale. 4. Opinioni sull'unità e sul numero uno. 5. Il concetto di numero naturale. 6. Conclusione.

Dall'epistolario (1896-1900)
0 0
Analitici

Frege, Gottlob

Dall'epistolario (1896-1900) / Gottlob Frege

Abstract: 1. Lettera a Giuseppe Peano (lettera del Sig. G. Frege all'Editore, pubbl. in Revue de Mathématiques, vol 6, 53 (1898). 2. Carteggio Frege-Hilbert (Unbekannte Briefe Frege's über die Grundlagen der geometrie und Antwortbrief Hilbert's an Frege; pubbl. a cura di max Steck nei "Sitzungsbericjte der Heidelberger Akademie der Wissenschaften, mathematischnaturwissenschafteliche Klasse, 1941).

I principi dell'aritmetica, esposti ideograficamente(1893-1803)(estratti)
0 0
Analitici

Frege, Gottlob

I principi dell'aritmetica, esposti ideograficamente(1893-1803)(estratti) / Gottlob Frege

Torino : Boringhieri

Abstract: Volume primo: dalla prefazione: Logica, matematica, psicologia. Volume secondo: 1. I principi del definire. 2. Critica alla teoria degli irrazionali di gerog cantor. 3. Le teorie degli irrazionali di E. heine e J. Thomae. 4. Sguardo retrospettivo e previsioni. Grandezze. teoria delle grandezze. Nota finale.

Inediti dal nachlass scientifico di Frege
0 0
Analitici

Frege, Gottlob

Inediti dal nachlass scientifico di Frege / Gottlob Frege

Abstract: 1. Abbozzo di una lettera a Giuseppe Peano. 2. Diciassette proposizioni fondamentali della logica.

Logica (art. 1.)
0 0
Analitici

Padoa, Alessandro

Logica (art. 1.) / di Alessandro Padoa

La logica, il metodo assionatico e la rpoblematica metateorica
0 0
Analitici

Borga, Marco

La logica, il metodo assionatico e la rpoblematica metateorica / Marco Borga

Abstract: 1. Introduzione. 2. La logica algebrica. 3. La logica degli "Arithmetices principia" di Peano. 4. L'assiomatizzazione della logica. 5. Ulteriori sviluppo della logica peaniana. 6. Il metodo assiommatico. 7. Le definizioni implicite. 8. Il metodo di Padoa e la problematica metateorica. 9. L'antinomia di Burali-Forti.

Ricerche sulla deduzione logica
0 0
Analitici

Gentzent, Gerhard

Ricerche sulla deduzione logica / di Gerhard Gentzen

Sull'idea di una teoria generale della dimostrazione
0 0
Analitici

Prawitz, Dag

Sull'idea di una teoria generale della dimostrazione / Dag Prawitz

Termini infiniti e un sistema di deduzione naturale
0 0
Analitici

Martin-Löf, Per

Termini infiniti e un sistema di deduzione naturale / Per Martin-Löf

La connessione tra equivalenza di dimostrazioni e categorie cartesiane chiuse
0 0
Analitici

Mann, C. R.

La connessione tra equivalenza di dimostrazioni e categorie cartesiane chiuse / C. R. Mann