Избранное
ЭБ Нефть
и Газ
Главная
Оглавление
Поиск +
Еще книги ...
Энциклопедия
Помощь
Для просмотра
необходимо:


Книга: Главная » Гильберт Д.N. Математическая логика и основания математики
 
djvu / html
 

ПРЕДИСЛОВИЕ К ПЕРВОМУ ИЗДАНИЮ
Изложение теории доказательств, выросшей из гильбер1 ского подхода к рассмотрению логических проблем основа математики, было обещано Гильбертом уже давно.
Но претворение этого проекта в жизнь задержалась из-за TI что на некоторой стадии, когда работа над рукописью уже б: близка к завершению, в теории доказательств в результате oi ликования работ Эрбрана и Гёделя возникла совершенно и ситуация, потребовавшая учета новейших результатов. Об книги при этом увеличился, так что оказалось целесообразз разбить ее на два тома.
Относительно содержания и основных идей предлагаем читателю первого тома подробную информацию дает указат содержания.
Следует особо отметить, что логический формализм рае вается в гл. III—IV с самого начала. Изложение его отличав от того, которое принято в книге Гильберта и Аккермана «Осн( теоретической логики» (1928), в первую очередь в части, нас щейся исчисления высказываний. При дальнейшем построе) формализма мы придали, в частности, более точную редаки правилу подстановки, прежняя формулировка которого бь недостаточно четкой *).
Специальные предварительные знания в области математ! у читателя предполагаются в столь же малой степени, как и в об сти логики.
В связи с этим читатель, недостаточно знакомый с основания геометрии, а может быть, и с основаниями анализа, не доля пугаться ссылок на «Основания геометрии» Гильберта, а так произведенного в гл. II разбора методов анализа. Обе перь главы по существу служат лишь для того, чтобы ввести читат{
1) Необходимость в более четкой редакции этого правила особе] отчетливо выяснилась в результате той критики, которой это правило п верглось со стороны Г. Шольца в его «Логистике» (лекции 1932—1933 г Эта критика основывается на некоторой, отклоняющейся от первоначальн смысла этого правила интерпретации, обусловленной неточностью преж] его формулировки.

 

1 10 20 21 22 23 24 25 26 27 28 29 30 40 50 60 70 80 90 100 110 120 130 140 150 160 170 180 190 200 210 220 230 240 250 260 270 280 290 300 310 320 330 340 350 360 370 380 390 400 410 420 430 440 450 460 470 480 490 500 510 520 530 540 550


Математика