Re[29]: рекурсивно устойчивая аксиоматика на примере фальсиф
От: токсичный ботан(ыч)? Интернет https://youtu.be/I3lhN5CUP2M
Дата: 12.05.23 14:52
Оценка:
Здравствуйте, токсичный ботан(ыч)?, Вы писали:

S>>То, что в нём нет моего предиката.

ТБЫ> я показал лямбдой ваш "предикат". он там ни к селу. что вам в рантайме записать sin(x) != sin(x)? или лучше x != x ))
я надеюсь вы улыбнулись на x != x, в мат системах описанных на С++ это признак — none
 
Подождите ...
Wait...
Пока на собственное сообщение не было ответов, его можно удалить.