LINUX.ORG.RU

История изменений

Исправление novus, (текущая версия) :

утверждение НЕ является НИ истинным, НИ ложным.

Это что-то новое в логике. Корректные высказывания или истинны, или ложны, третьего не дано. Выводятся они не выводятся - другой вопрос.
Есть еще предикаты, или зависимые от аргумента высказывания, но это немного другое.

У Гёделя речь шла не о постулатах, не о фундаменте теории, а о формулах (глубоко) внутри теории.

И всё это относится к АКСИОМАТИЧЕСКИМ теориям, а не к реальному материальному миру.

Так это материальный мир породил аксиоматические теории. Если разделять теории отдельно, мир отдельно, добро пожаловать в идеализм.

Да, наш мир порождает идеи и те кочуют в параллельный мир. Два мира взаимодействуют, и опять что-то где-то рождается.

в естественных науках, существуют недоказуемые утверждения ... Вот только проблема таких утверждений в том, что невозможно отличить истинное от ложного.

По-разному. Там утверждения о явлениях природы. Некоторые явления не объясняются наукой. Например, шаровая молния. Но теории строить никто не запрещает. Возможно, не все факты будут объясняться теорией, но будучи необъяснёнными, факты всё равно будут иметь место быть.

Исправление novus, :

утверждение НЕ является НИ истинным, НИ ложным.

Это что-то новое в логике. Корректные высказывания или истинны, или ложны, третьего не дано. Выводятся они не выводятся - другой вопрос.
Есть еще предикаты, или зависимые от аргумента высказывания, но это немного другое.

У Гёделя речь шла не о постулатах, не о фундаменте теории, а о формулах (глубоко) внутри теории.

И всё это относится к АКСИОМАТИЧЕСКИМ теориям, а не к реальному материальному миру.

Так это материальный мир породил аксиоматические теории. Если разделять теории отдельно, мир отдельно, добро пожаловать в идеализм.

Да, наш мир порождает идеи и те кочуют в параллельный мир. Два мира взаимодействуют, и опять что-то где-то рождается.

в естественных науках, существуют недоказуемые утверждения ... Вот только проблема таких утверждений в том, что невозможно отличить истинное от ложного.

По-разному. Там утверждения о явлениях природы. Некоторые явления не объясняются наукой. Например, шаровая молния. Но теории строить никто не запрещает. Возможно, не все явления будут объясняться теорией, но будучи необъяснёнными, явления всё равно будут иметь место быть.

Исправление novus, :

утверждение НЕ является НИ истинным, НИ ложным.

Это что-то новое в логике. Корректные высказывания или истинны, или ложны, третьего не дано. Выводятся они не выводятся - другой вопрос.
Есть еще предикаты, или зависимые от аргумента высказывания, но это немного другое.

У Гёделя речь шла не о постулатах, не о фундаменте теории, а о формулах (глубоко) внутри теории.

И всё это относится к АКСИОМАТИЧЕСКИМ теориям, а не к реальному материальному миру.

Так это материальный мир породил аксиоматические теории. Если разделять теории отдельно, мир отдельно, добро пожаловать в идеализм.

Да, наш мир порождает идеи и те кочуют в параллельный мир. Два мира взаимодействуют, и опять что-то где-то рождается...

в естественных науках, существуют недоказуемые утверждения ... Вот только проблема таких утверждений в том, что невозможно отличить истинное от ложного.

По-разному. Там утверждения о явлениях природы. Некоторые явления не объясняются наукой. Например, шаровая молния. Но теории строить никто не запрещает. Возможно, не все явления будут объясняться теорией, но будучи необъяснёнными, явления всё равно будут иметь место быть.

Исправление novus, :

утверждение НЕ является НИ истинным, НИ ложным.

Это что-то новое в логике. Корректные высказывания или истинны, или ложны, третьего не дано. Выводятся они не выводятся - другой вопрос.
Есть еще предикаты, или зависимые от аргумента высказывания, но это немного другое.

У Гёделя речь шла не о постулатах, не о фундаменте теории, а о некоторых формулах (глубоко) внутри теории.

И всё это относится к АКСИОМАТИЧЕСКИМ теориям, а не к реальному материальному миру.

Так это материальный мир породил аксиоматические теории. Если разделять теории отдельно, мир отдельно, добро пожаловать в идеализм.

Да, наш мир порождает идеи и те кочуют в параллельный мир. Два мира взаимодействуют, и опять что-то где-то рождается...

в естественных науках, существуют недоказуемые утверждения ... Вот только проблема таких утверждений в том, что невозможно отличить истинное от ложного.

По-разному. Там утверждения о явлениях природы. Некоторые явления не объясняются наукой. Например, шаровая молния. Но теории строить никто не запрещает. Возможно, не все явления будут объясняться теорией, но будучи необъяснёнными, явления всё равно будут иметь место быть.

Исходная версия novus, :

утверждение НЕ является НИ истинным, НИ ложным.

Это что-то новое в логике. Корректные высказывания или истинны, или ложны, третьего не дано. Выводятся они не выводятся - другой вопрос.
Есть еще предикаты, или зависимые от аргумента высказывания, но немного другое.

У Гёделя речь шла не о постулатах, не о фундаменте теории, а о некоторых формулах (глубоко) внутри теории.

И всё это относится к АКСИОМАТИЧЕСКИМ теориям, а не к реальному материальному миру.

Так это материальный мир породил аксиоматические теории. Если разделять теории отдельно, мир отдельно, добро пожаловать в идеализм.

Да, наш мир порождает идеи и те кочуют в параллельный мир. Два мира взаимодействуют, и опять что-то где-то рождается...

в естественных науках, существуют недоказуемые утверждения ... Вот только проблема таких утверждений в том, что невозможно отличить истинное от ложного.

По-разному. Там утверждения о явлениях природы. Некоторые явления не объясняются наукой. Например, шаровая молния. Но теории строить никто не запрещает. Возможно, не все явления будут объясняться теорией, но будучи необъяснёнными, явления всё равно будут иметь место быть.