Dym H Mathematical Methods in Systems, Optimization, and Control 2012 | 3.2 MB

Title: Mathematical Methods in Systems, Optimization, and Control : Festschrift in Honor of J. William Helton
Author: Unbekannt

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/16563341ade7c50e849d4e698ced06b7/Dym_H._Mathematical_Methods_in_Systems_Optimization_and_Control_2012.rar

https://clicknupload.click/1fjw1twy46io/Dym_H._Mathematical_Methods_in_Systems_Optimization_and_Control_2012.rar