Includi: nessuno dei seguenti filtri
× Soggetto Manuali
Includi: tutti i seguenti filtri
× Soggetto Logica matematica

Trovati 139 documenti.

Scritti scelti
0 0
Libri Moderni

Gödel, Kurt

Scritti scelti : 1933-1964 / Kurt Gödel ; a cura di Gabriele Lolli

Torino : Bollati Boringhieri, 2011

I grandi pensatori ; 5

Matematica dell'incerto
0 0
Libri Moderni

Lombardo, Enzo <1938-2005> - La_Torre, Mauro

Matematica dell'incerto : un linguaggio per capire la realtà / E. Lombardo, M. La Torre

Torino : Loescher, ©1987

La ricerca ; 102

Abstract: un linguaggio per capire la realtà

Gatti neri , gatti bianchi
0 0
Libri Moderni

Cerasoli, Anna Maria

Gatti neri , gatti bianchi / Anna Cerasoli ; illustrazioni di AnnaLaura Cantone

Trieste : Editoriale Scienza, 2011

1 2 3 Raccontami una storia - 1 2 3 Raccontami una storia

Il computer di Platone
0 0
Libri Moderni

Borzacchini, Luigi

Il computer di Platone : alle origini del pensiero logico e matematico / Luigi Borzacchini ; prefazione di Piergiorgio Odifreddi

Bari : Dedalo, [2005]

La scienza nuova ; 127

Opere
0 0
Monografie

Gödel, Kurt

Opere / Kurt Gödel

Torino : Bollati Boringhieri

Opere / Kurt Gödel. 1: 1929-1936
0 0
Libri Moderni

Gödel, Kurt

Opere / Kurt Gödel. 1: 1929-1936 / Kurt Gödel ; a cura di Solomon Feferman ; con la collaborazione di John W. Dawson Jr. ... [et al.] ; ed. italiana a cura di Edoardo Ballo ... [et al.]

Torino : Bollati Boringhieri, 1999

Fa parte di: Godel, Kurt. Opere / Kurt Gödel

Fa parte di: Godel, Kurt. Opere / Kurt Gödel

Il software dell'universo
0 0
Libri Moderni

Dorato, Mauro

Il software dell'universo : saggio sulle leggi di natura / Mauro Dorato

[Milano] : B. Mondadori, 2000

Biblioteca delle scienze

Logica matematica
0 0
Libri Moderni

Logica matematica : strutture rappresentazioni deduzioni / Vincenzo Manca ; con un saggio di Gregory Chaitin

Torino : Bollati Boringhieri, 2001

Nuova didattica. Scienze

Osservazioni sopra i fondamenti della matematica
0 0
Libri Moderni

Wittgenstein, Ludwig

Osservazioni sopra i fondamenti della matematica / Ludwig Wittgenstein ; traduzione di Mario Trinchero

Torino : Einaudi Editore, 1979

Reprints Einaudi - Reprints Einaudi

Osservazioni sopra i fondamenti della matematica. Nuova edizione ampliata
0 0
Libri Moderni

Wittgenstein, Ludwig - Trinchero, Mario

Osservazioni sopra i fondamenti della matematica. Nuova edizione ampliata / Ludwig Wittgenstein; traduzione di Mario Trinchero

Torino: Einaudi, 1988

Einaudi paperbacks ; 182

Giochi logico-matematici
0 0
Libri Moderni

ANNO, Mitsumasa

Giochi logico-matematici : dagli oggetti ai numeri / Mitsumasa Anno

Milano : A. Mondadori, 1989

Linguaggio e sistemi formali
0 0
Libri Moderni

De_Palma, Armando

Linguaggio e sistemi formali / A cura di Armando De Palma

Torino: Einaudi, 1974

Letterature

Elettronica
0 0
Libri Moderni

Masetti, Massimo

Elettronica / Massimo Masetti

Bologna : Zanichelli, 1988

Giochi logico-matematici: un mondo di relazioni
0 0
Libri Moderni

ANNO, Mitsumasa

Giochi logico-matematici: un mondo di relazioni / Mitsumasa Anno

Milano: Mondadori, 1989

Giochi logico-matematici: forme uguali, diverse, che cambiano
0 0
Libri Moderni

ANNO, Mitsumasa

Giochi logico-matematici: forme uguali, diverse, che cambiano / Mitsumasa Anno

Milano: Mondadori, 1989

Il turista matematico
0 0
Libri Moderni

Valla, Riccardo - Peterson, Ivars

Il turista matematico / Ivars Peterson; traduzione di Riccardo Valla

Milano: Rizzoli, 1991

Il teorema di Godel
0 0
Libri Moderni

Il teorema di Godel / S.G.Shanker

Padova:Franco Muzzio, 1991

Muzzio scienze

Logica
0 0
Libri Moderni

Logica

Milano: Le Scienze, 1991

Teoria dei numeri: storia e matematica da Hammurabi a Legendre
0 0
Libri Moderni

Bartocci, Claudio - Weil, André - Bombieri, Enrico

Teoria dei numeri: storia e matematica da Hammurabi a Legendre / André Weil; a cura di Claudio Bartocci; introduzione di Enrico Bombieri traduzione di Alberto Collo

Torino: Einaudi, 1993

Einaudi paperbacks

Le due teste del tiranno
0 0
Libri Moderni

Malvaldi, Marco

Le due teste del tiranno : metodi matematici per la libertà / Marco Malvaldi

[Milano] : BUR Rizzoli, 2018

BUR Rizzoli. Le scoperte, le invenzioni

Abstract: La matematica è rivoluzionaria. Attinge alla dimensione della libertà umana per creare mondi diversi e opposti, negando un codice già affermato per strutturarne liberamente un altro. Affermazioni matematiche all'apparenza inutili o sbagliate preannunciano quasi sempre vere e proprie rivoluzioni del pensiero. Il teorema di Bayes, per esempio, da puro gioco intellettuale è diventato un pilastro della diagnostica medica, della scienza forense, delle neuroscienze e nelle ricerche sull'intelligenza artificiale. In un viaggio che dai filosofi greci ci conduce alla Ultimate Machine di Claude Shannon, l'autore ci mostra che la matematica è rivoluzionaria anche in un modo più profondo: ci mette in grado di capire il mondo e di partecipare alla costruzione della società; di sconfiggere il tiranno: quello vero, ma soprattutto quello generato dal nostro stesso pensiero. Tutti possiamo intervenire, decidere se un ragionamento è corretto o meno, e tutti possiamo accedere agli assiomi iniziali e alle regole usate per svilupparli. Nel mondo fantastico dei numeri e dei teoremi non ci sono limiti all'immaginazione e in questo esercizio di fantasia siamo tutti liberi e tutti uguali. Non c'è nulla di controverso. "Sire", spiegò ad Alessandro Magno il suo precettore Menecmo, "in geografia esistono strade per i re e strade per il popolo, ma in geometria c'è un'unica strada per tutti".