Baber T Practical Mathematics Definitions and Formulae for Students 1973
General:
Name: Baber T Practical Mathematics Definitions and Formulae for Students 1973
Format: pdf
Size: 12.43 MB
Book:
Title: Untitled
Author: Kurt Gödel
Language: angielski
Year: 1992
Subjects: N/A
Publisher: Wydawnictwo: Dover Publications
ISBN: 0486669807
Total pages: 83
Description:
Jest to reprint opublikowanej przez Gödla w roku 1931 pracy "Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme. I.", w której wykazał, że w aksjomatycznej niesprzecznej teorii matematycznej, zawierającej pojęcie liczb naturalnych, da się sformułować takie zdanie, którego w ramach tej teorii nie da się ani udowodnić, ani obalić. Praca ta należy do najważniejszego odkrycia logiki matematycznej w dziejach matematyki i definitywnie zakończyła wieloletnie próby zaksjomatyzowania całej matematyki, gdyż z zawartego w niej twierdzenia (tzw. I twierdzenie Gödla) wynika wprost, że jest to niewykonalne oraz, że matematyka nie jest i być nie może nauką zamkniętą i zakończoną, jak dotychczas sądzono.
Download from RapidGator
https://rapidgator.net/file/b821cb86f779dd3051e88555c9bd21de/o173g6p8pv2rf40taz1f1p.pdf