Computabilitate: Funcții calculabile, logică și fundamentele matematicii

Recenzii ale cititorilor

În prezent, nu există recenzii ale cititorilor. Evaluarea se bazează pe 2 voturi.

Titlul original:

Computability: Computable Functions, Logic, and the Foundations of Mathematics

Conținutul cărții:

Acum într-o nouă ediție - prezentarea clasică a teoriei funcțiilor calculabile în contextul fundamentelor matematicii. Partea I motivează studiul calculabilității prin discuții și lecturi despre criza din fundamentele matematicii de la începutul secolului al XX-lea, prezentând în același timp ideile de bază ale numărului întreg, funcției, dovezii și numărului real.

Partea a II-a începe cu lecturi din Turing și Post care conduc la teoria formală a funcțiilor recursive. Partea III prezintă suficientă logică formală pentru a oferi o dezvoltare completă a teoremelor de incompletitudine ale lui Godel.

Partea a IV-a ia în considerare semnificația lucrării tehnice cu o discuție a tezei lui Church și lecturi despre fundamentele matematicii. Această nouă ediție conține cronologia "Computabilitate și indecibilitate", precum și eseul "Despre matematică."".