The book explores how build a mechanical inferences by making use of arithmetic operations on a string of numbers representing statements. In this way logic is reduced to a branch of the combinatory calculus. It covers the field of traditional logic by showing that any kind of inference can be mechanically reduced to three-variables and two-premise
Paga facilmente con carta, Klarna, Apple Pay o Google Pay. Non sei soddisfatto? Hai sempre 14 giorni per il rimborso. Leggi di più nei nostri termini. Per qualsiasi domanda, scrivici a hello@memmo.org.
Memmo rende lo studio più facile, ovunque tu sia nel mondo. Qui trovi i tuoi libri di testo e strumenti di studio intelligenti, tutto in un unico posto: riassunti, quiz, podcast e flashcard. E poi c'è Ted, il tuo compagno di studio che risponde a ogni tua domanda. Oltre 50.000 studenti studiano già qui: è stato creato per aiutarti a imparare più velocemente e a stressarti meno.
Potrebbe interessarti anche
Acquista il libro0