aa
ты не лучшую
Size: a a a
2021 February 07
aa
сам блять
M
Во-первых невычислимые сущности это биви бивер, гедел про то что любая система содержит аксиомы.
M
Сам чё?
M
Хуйню переставпай нести это тебе не жс чат и не сведетили дигитал номада
aa
гедёль, про то что любая формальная система ущербна
M
M
О как
aa
как и абстрактная алгебра
M
Иди в чат логики
aa
в оригинале: чтобы построить формальную систему, нужно доказать, что любое утверждение либо истинно, либо ложно, но существуют невычислимые утверждения...
M
в оригинале: чтобы построить формальную систему, нужно доказать, что любое утверждение либо истинно, либо ложно, но существуют невычислимые утверждения...
Иди нахуй
H
ну единственный весомый аргумент это что макросы сложно аудитить
M
H
и что ошибки генерируются сложночитаемые (но я над этим работаю)
i
H
ну единственный весомый аргумент это что макросы сложно аудитить
но хотя буст препроцессор же используют в проде и ничего
H
https://github.com/Hirrolot/metalang99/issues/10
> PS; I am an haskeller, and this is a real pleasure to have a sum type in C thanks to your work :))
> PS; I am an haskeller, and this is a real pleasure to have a sum type in C thanks to your work :))
H
