Tarasova I Smart Electromechanical Systems Mathematical Soft Engineering 2024 | 17.9 MB

Title: 3031642767
Author: Kurt Gödel

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:

https://rapidgator.net/file/d627c4828f835b0508992dc03e1dd7f9/Tarasova_I._Smart_Electromechanical_Systems._Mathematical..Soft_Engineering_2024.rar

https://nitroflare.com/view/49B619084A98133/Tarasova_I._Smart_Electromechanical_Systems._Mathematical..Soft_Engineering_2024.rar