2014 dxdy logo

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

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


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


Посмотреть правила форума



Начать новую тему Ответить на тему На страницу Пред.  1, 2, 3, 4
 
 Re: Логика первого и второго порядка
Сообщение03.07.2022, 23:18 
Заслуженный участник


20/07/09
4026
МФТИ ФУПМ
EminentVictorians в сообщении #1558694 писал(а):
Верно ли я понимаю, что когда я доказываю обычным образом (не в формальном смысле, а просто как обычно делают в математике - с помощью естественного языка и обычных нормальных рассуждений) какие-то теоремы о натуральных числах, то я пользуюсь гораздо более сильными выразительными средствами, чем те, которые допускаются логикой первого порядка?
Не думаю. Возможно, вы пользуетесь аксиомами, которых нет, ну пусть, в ZFC. Но более сильное рассуждение, чем позволяется логикой, мне кажется сомнительным.

 Профиль  
                  
 
 Re: Логика первого и второго порядка
Сообщение04.07.2022, 10:27 
Заслуженный участник
Аватара пользователя


23/07/05
17976
Москва
Nemiroff в сообщении #1559201 писал(а):
Возможно, вы пользуетесь аксиомами, которых нет, ну пусть, в ZFC.
И если кто-то из внимательных читателей это заметит, рассуждение будет считаться некорректным.

 Профиль  
                  
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 47 ]  На страницу Пред.  1, 2, 3, 4

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



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

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


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

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