p
Иногда просто пишешь Refl и заебись
Size: a a a
2020 October 30
SP
погоди все же мне интересно что есть доказательство вот прям совсем хочу познать это
SP
т.е. интерпретация на типах? это прям все? или еще чтото?
p
погоди все же мне интересно что есть доказательство вот прям совсем хочу познать это
Математику не учил?
b
погоди все же мне интересно что есть доказательство вот прям совсем хочу познать это
ну ты не дослушал что я тебе говорил
b
вот и не будешь знать
p
вот и не будешь знать
Мы слушаем, но ты какието отдаленные вещи говоришь
b
доказательство это когда ты методом исключения показываешь, что в твоей программе не может быть какого–то определенного бага. если список вещей, которые ты исключаешь достаточно большой, то она имеет претензию даже быть корректной
r
Физика черных дыр становится всё страньше и страньше: “There’s the physical black hole and then there’s the simulated one in the quantum computer, and there can be a replica wormhole connecting those,” said Douglas Stanford, a theoretical physicist at Stanford
b
иозоморфизм кари как раз про это
SP
Математику не учил?
нет
b
пропозициональная алгебра или логика первого порядка соответствуют лямбда исчислению. то есть если ты можешь написать программу, то ты можешь применять логические обоснования к ней и наоборот
b
короче это просто альтернативный подход
SP
ну я помню в школе чтото доказывал даже но это была какаято неосознанная деятельность
p
Доказательство это применение аксиом и доказанных теорем для получения вывода из условия
b
ну я помню в школе чтото доказывал даже но это была какаято неосознанная деятельность
ну ты понимаешь что является предметом доказательства?
b
что ты доказываешь
SP
ну ты понимаешь что является предметом доказательства?
чел я ничего не понимаю. да. в этом и проблема
b
чел я ничего не понимаю. да. в этом и проблема
ты доказываешь какой–то факт, ход дел.
p
чел я ничего не понимаю. да. в этом и проблема
Ты доказываешь что из условия следует следствие