2014 dxdy logo

Научный форум dxdy

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки


Правила форума


В этом разделе нельзя создавать новые темы.

Если Вы хотите задать новый вопрос, то не дописывайте его в существующую тему, а создайте новую в корневом разделе "Помогите решить/разобраться (М)".

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

Не ищите на этом форуме халяву, правила запрещают участникам публиковать готовые решения стандартных учебных задач. Автор вопроса обязан привести свои попытки решения и указать конкретные затруднения.

Обязательно просмотрите тему Правила данного раздела, иначе Ваша тема может быть удалена или перемещена в Карантин, а Вы так и не узнаете, почему.



Начать новую тему Ответить на тему
 
 Посоветуйте книгу по логике с нуля до хорошего уровня 9 клас
Сообщение02.05.2015, 20:46 


26/04/15
5
Честно, не уверен можно ли сюда писать, но уж очень нужна книга по логике, чтобы все было объяснено почти с нуля, и до хорошего уровня(теорема Геделя, много о ней слышал, а доказательство и суть не знаю), буду очень благодарен, если посоветуете такую.

 Профиль  
                  
 
 Re: Посоветуйте книгу.
Сообщение02.05.2015, 21:19 


20/03/14
12041
Вы хоть образование свое обозначьте, как людям сориентироваться, какого уровня книга Вам нужна?

 Профиль  
                  
 
 Re: Посоветуйте книгу.
Сообщение02.05.2015, 21:52 


26/04/15
5
Образование: я в 9-ом классе.

 Профиль  
                  
 
 Re: Посоветуйте книгу.
Сообщение02.05.2015, 22:07 
Заслуженный участник


08/04/08
8556
Сурово.
Я знаком с доказательством теоремы Геделя по Мендельсону. В принципе, можете попробовать его взять и прочитать. Только боюсь Вам будет сильно непривычно. Можно перед Мендельсоном попробовать почитать Новикова или Игошина или Клини.
Вам нужно предварительно более-менее освоить:
1. Алгебру высказываний и исчисление высказываний
2. Алгебру предикатов и исчисление предикатов.
3. Познакомиться с общелогическими понятиями: истинность, доказуемость, аксиоматизация, полнота теории и т.п.
4. Познакомиться с рекурсивными функциями.
5. Познакомиться с формальной арифметикой.
А потом переходить к теореме Геделя.
З.Ы. Я не спец. Доказательства теоремы Геделя есть разные, восходящие к разным идеям.

 Профиль  
                  
 
 Re: Посоветуйте книгу.
Сообщение03.05.2015, 10:50 


26/04/15
5
Большое спасибо!

 Профиль  
                  
 
 Re: Посоветуйте книгу.
Сообщение03.05.2015, 11:13 
Заслуженный участник
Аватара пользователя


09/09/14
6328
Я бы девятикласснику рекомендовал с теоремой Гёделя (раз уж это явный мотивирующий фактор) знакомится по книгам Р.Смаллиана ("Как же называется эта книга?" и др., и вообще с этого начинать подбираться к логике). Потом смотреть чуть более серьёзные варианты доступных школьнику доказательств (В.А. Успенкий "Теорема Гёделя о неполноте"). А потом уже, если мотивация не ослабеет, переходить к рекомендованным выше вещам. Думаю, этот путь будет покороче (в смысле геодезических :)

 Профиль  
                  
 
 Re: Посоветуйте книгу.
Сообщение03.05.2015, 16:04 
Заслуженный участник
Аватара пользователя


30/01/06
72407
grizzly
А кроме Смаллиана кто-то же ещё на таком же популярном уровне писал об этом... не помните, кто? Мне смутно припоминается Мартин Гарднер, но кажется, у него всё-таки не то.

 Профиль  
                  
 
 Re: Посоветуйте книгу.
Сообщение03.05.2015, 17:17 
Заслуженный участник
Аватара пользователя


09/09/14
6328
Munin
У Гарднера что-то было, но я не могу сказать уверенно. Скорее всего, какие-то объяснения на пальцах с бОльшим уклоном в популяризацию, чем в логику.

Лично я заболел темой после Смаллиана (правда, узнал о его книгах уже студентом). А ещё можно было бы посоветовать полистать Хофштадтера "Гедель, Эшер, Бах...". Там ведь очень много интересного даже, что называется, для первого ознакомления.

 Профиль  
                  
 
 Re: Посоветуйте книгу.
Сообщение03.05.2015, 19:23 


26/04/15
5
Огромное спасибо!

 Профиль  
                  
 
 Re: Посоветуйте книгу.
Сообщение04.05.2015, 19:01 


15/05/05
351
Россия
Посмотрите лекцию А. Б. Сосинского
http://www.youtube.com/watch?v=kAAy57Vduuc
Лекции летней школы «Современная математика», г. Дубна, 2001-2010.

 Профиль  
                  
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 10 ] 

Модераторы: Модераторы Математики, Супермодераторы



Кто сейчас на конференции

Сейчас этот форум просматривают: нет зарегистрированных пользователей


Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Найти:
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group