Trovati 11 documenti.
Trovati 11 documenti.
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.
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) / 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) / 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 / Gottlob Frege
Abstract: 1. Abbozzo di una lettera a Giuseppe Peano. 2. Diciassette proposizioni fondamentali della logica.
Su un'estensione fino ad oggi non acora utilizzata del punto di vista finitista / Kurt Gödel
Idee e risultati nella teoria della dimostrazione / Dag Prawitz
Abstract: in J.E. Fenstad (a cura di), proceedings of the Second Scandinavian Logic Symposium, Noth-Holland, Amsterdam-London, 1971
La connessione tra equivalenza di dimostrazioni e categorie cartesiane chiuse / C. R. Mann