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

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



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

Сейчас этот форум просматривают: BVR


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

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