Я рекламой не интересуюсь. Это мой предмет, так что меня не обманут. :)))

Про BRT долго рассказывать и сложно на самом деле.

Пробовал выписать всё что хорошо бы знать, чтобы понять BRT. Накатал заметку.

http://www.maths.bris.ac.uk/~maaib/new.pdf

Теперь жалею (половину упустил и кое-чего нужного не сказал).

Можно о BRT погворить, но потом.

Башня Маркова есть у нас на картинке:

http://logic.pdmi.ras.ru/Markov/bashnya.jpg

Андрей

(Reply to this) (Parent) (Thread)

> меня не обманут. :)))

А, так это, значит, Вы мне пытались впарить бредятину про "недоказуемые утверждения", понадеявшись на моё плохое знакомство с предметом? Я и говорю: жулики, вешающие лапшу на непосвящённые уши :-))

> Накатал заметку

Я правильно понял, что "огромное достижение человечества" заключается попросту в том, что к исходной аксиоматике добавлено невыводимое в ней утверждение? Да таких утверждений в любом исчислении сколько угодно — расширяй, не хочу! Где тут обещанная «семантика $\Pi_2$»?

> Башня Маркова есть у нас на картинке

Отличная шутка! Вот теперь с датой всё в порядке :-) И где же на картинке редукционная теорема?

С уважением,
Гастрит

(Reply to this) (Parent) (Thread)

Про семантику Пи_2 утверждений нужно самому думать. На блюдечке связь нам не дана потому что БРТ сформулирована немножко на другом языке.

(Reply to this) (Parent) (Thread)

> нужно самому думать.

Не нужно. Жизнь слишком коротка, чтобы расходовать её на модную чепуху.

С уважением,
Гастрит

(Reply to this) (Parent) (Thread)

Тогда Вам сюда:

http://www.aboututila.com/Photos/AdamLaverty/Cays-Water-Girls-01.JPG

(Reply to this) (Parent) (Thread)

Оригинальная альтернатива. Я бы сам не догадался.

С уважением,
Гастрит

(Reply to this) (Parent)

Что-то страшно как-то.

(Reply to this) (Parent) (Thread)

мне тоже... Туда посылаем тех, кто не хочет изучать логику!

(Reply to this) (Parent)