Size: a a a

2020 June 24

NL

Nick Linker in rust_offtopic
red75prime
Я не математик, но тут говорят, что конструктивна https://math.stackexchange.com/questions/448527/are-the-g%C3%B6dels-incompleteness-theorems-valid-for-both-classical-and-intuitionis
Понял, гляну.
Я решил освежить в памяти из Хабра (иногда хабр всё же торт)
https://habr.com/ru/post/400513/
источник

b

badtrousers in rust_offtopic
к богу
источник

b

badtrousers in rust_offtopic
кто-то же создал наш мир, какой смысл говорить об этой сущности во множественном числе
источник

b

badtrousers in rust_offtopic
это противоречит логике языка
источник

b

badtrousers in rust_offtopic
если есть несколько богов, то чем они отличаются? в языке выразить нельзя ~ противоречие
источник

r

red75prime in rust_offtopic
badtrousers
в смысле к какому?
Зевс, Один, Яхве, Троица, Милостивый. Кто из них создал наш мир?
источник

b

badtrousers in rust_offtopic
какая разница
источник

b

badtrousers in rust_offtopic
это все не выражается в языке без иррегулярностей в форме
источник

b

badtrousers in rust_offtopic
мне больше всего нравится Яхве и Тора, но это уже другой разговор
источник

SP

Stanislav Popov in rust_offtopic
Mike Lubinets
Дак не пиши длинных функций
ну мне тяжеловато понимать твой мотивацию это адвокатировать. я после этого говна в тс и расте реально кайфую, обрамляю в скобочки все, возвращаю из скобочек, ух

а ты джаст лайк "чтото делают но фундаментальные вещи делать не хотят но это не проблема можно и потерпеть"

причем это уже вторая такая фича где все понимали что нужно чтото делать но сошлись на том что "не сегодня дружище"
источник

r

red75prime in rust_offtopic
badtrousers
какая разница
Из существования сущности тот-кто-создал-наш-мир, никак не следует будет ли она/он/оно/они вкладывать душу в вычислительные машины.
источник

b

badtrousers in rust_offtopic
red75prime
Из существования сущности тот-кто-создал-наш-мир, никак не следует будет ли она/он/оно/они вкладывать душу в вычислительные машины.
душа не определена
источник

b

badtrousers in rust_offtopic
вообще это моя вина
источник

b

badtrousers in rust_offtopic
я когда говорил про душу полу-шутил, конечно
источник

b

badtrousers in rust_offtopic
душу не измерить и не показать экспериментально, ее объективно нет
источник

DF

Dollar Føølish in rust_offtopic
Диагональный метод работает и в интуиционизме, это правда. Собственно из-за этого я считаю интуитивистский проект провальным
источник

r

red75prime in rust_offtopic
Не важно. Вложить то-что-по-мнению-пенроуза-отличает-человека-от-машины-тьюринга
источник

ML

Mike Lubinets in rust_offtopic
Stanislav Popov
ну мне тяжеловато понимать твой мотивацию это адвокатировать. я после этого говна в тс и расте реально кайфую, обрамляю в скобочки все, возвращаю из скобочек, ух

а ты джаст лайк "чтото делают но фундаментальные вещи делать не хотят но это не проблема можно и потерпеть"

причем это уже вторая такая фича где все понимали что нужно чтото делать но сошлись на том что "не сегодня дружище"
Я просто не вижу смысла ныть "ой питон говно так как нет X" под новостью о добавлении в язык довольно крутых штук, которые 5 лет назад никто и представить не мог в питоне.

Ты просто хочешь какой-то Python4, который поломает всё к хуям, и сделает всё и сразу. Окей, это тоже валидная позиция, но тогда я не понимаю почему тебя бомбит от инкрементальных неломающих улучшений в Python3
источник

b

badtrousers in rust_offtopic
Dollar Føølish
Диагональный метод работает и в интуиционизме, это правда. Собственно из-за этого я считаю интуитивистский проект провальным
+++
источник

b

badtrousers in rust_offtopic
Витгенштейн поддерживает
источник