Похожие чаты

Ребят немного глупый вопрос, но я правильно понимаю что неполнота

по геделю означает наличие парадокса?

9 ответов

23 просмотра

Первая теорема Гёделя о неполноте говорит, что в теории (плюс условия) без парадоксов (противоречий, в здравой теории) будут существовать общезначимые утверждения, которые нельзя вывести из аксиом. Не вижу в этом никаких проблем.

Нет никакого парадокса, даже в неформальном смысле.

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

Vladimir
"парадокс" тут разве что в том, что в классической...

Что ложные не выводимы мы и так знаем, мы специально логики так строим чтобы ложные были не выводимы, этим действительно никого не удивишь. А закон исключённого третьего тогда нужно убирать в металогике (в которой мы говорим об истинности формул объектного языка) — в объектном языке (исчислении) это ничего принципиально не поменяет.

Alexander Chichigin
Что ложные не выводимы мы и так знаем, мы специаль...

Я думал, что интуиционисткие логики в своей металогике закон исключённого третьего не используют

ȝḫ-n-Jtn ˁȝ-m-ˁḥˁ.f 
Я думал, что интуиционисткие логики в своей метало...

Металогика обычно классическая как раз, но это не обязательно.

Alexander Chichigin
Что ложные не выводимы мы и так знаем, мы специаль...

Так мы говорим о неклассических логиках, а не о металогиках.

Brenoritvrezorkre
Так мы говорим о неклассических логиках, а не о ме...

Истинность/общезначимость формулы — в металогике. Выводимость, тащем-та, тоже...

Alexander Chichigin
Истинность/общезначимость формулы — в металогике. ...

Это в модельной семантике просто по правилам satisfiability, больше ничего не нужно Если это не SMT

Похожие вопросы

Обсуждают сегодня

Господа, а что сейчас вообще с рынком труда на делфи происходит? Какова ситуация?
Rꙮman Yankꙮvsky
29
А вообще, что может смущать в самой Julia - бы сказал, что нет единого стандартного подхода по многим моментам, поэтому многое выглядит как "хаки" и произвол. Короче говоря, с...
Viktor G.
2
@Benzenoid can you tell me the easiest, and safest way to bu.y HEX now?
Živa Žena
20
This is a question from my wife who make a fortune with memes 😂😂 About the Migration and Tokens: 1. How will the old tokens be migrated to the new $LGCYX network? What is th...
🍿 °anton°
2
30500 за редактор? )
Владимир
47
а через ESC-код ?
Alexey Kulakov
29
What is the Dex situation? Agora team started with the Pnetwork for their dex which helped them both with integration. It’s completed but as you can see from the Pnetwork ann...
Ben
1
Гайс, вопрос для разносторонее развитых: читаю стрим с юарта, нада выделять с него фреймы с определенной структурой, если ли чо готовое, или долбаться с ринг буффером? нада у...
Vitaly
9
Anyone knows where there are some instructions or discort about failed bridge transactions ?
Jochem
21
@lozuk how do I get my phex copies of my ehex from a atomic wallet, to move to my rabby?
Justfrontin 👀
11
Карта сайта