Обсуждение:Принцип параметрической неполноты — различия между версиями
WikiSysop (обсуждение | вклад) (Новая страница: « ----») |
Борис К (обсуждение | вклад) (→Принцип параметрической неполноты: Новая тема) |
||
| Строка 1: | Строка 1: | ||
---- | ---- | ||
| + | |||
| + | == Принцип параметрической неполноты == | ||
| + | |||
| + | В 1931 году была доказана теорема Гёделя о неполноте. По моим представлениям правота этой теоремы является общепринятой в современной математике. Из теоремы в частности следует, что любая непротиворечивая аксиоматика является неполной. | ||
| + | |||
| + | Понятия 'принцип соответствия' и 'параметрическая неполнота' представляются мне очень правильными и полезными. Но с учетем теоремы Гёделя видимо следует переписать эту часть. В частности убрать утверждения типа "Система аксиом любой теории должна обладать тремя свойствами: быть независимой, непротиворечивой и полной". Это противоречит современной математике (теореме Гёделя). | ||
Версия 21:54, 28 марта 2013
Принцип параметрической неполноты
В 1931 году была доказана теорема Гёделя о неполноте. По моим представлениям правота этой теоремы является общепринятой в современной математике. Из теоремы в частности следует, что любая непротиворечивая аксиоматика является неполной.
Понятия 'принцип соответствия' и 'параметрическая неполнота' представляются мне очень правильными и полезными. Но с учетем теоремы Гёделя видимо следует переписать эту часть. В частности убрать утверждения типа "Система аксиом любой теории должна обладать тремя свойствами: быть независимой, непротиворечивой и полной". Это противоречит современной математике (теореме Гёделя).
