CD
а в чем разница между проверкой и пониманием?
Size: a a a
2020 October 05
P
а в чем разница между проверкой и пониманием?
можно проверить то, что ты не понимаешь, можно думать, что ты понял то, что ты не проверял, но когда ты проверяешь то, что ты думаешь, что ты понял, то можешь найти ошибки в своём понимании и соответственно его скорректировать
CD
единственный способ проверки - математическое доказательство, и я не понимаю, какое понимание более высокого уровня для алгоритма возможно, чем умение его математически доказывать
A
*адепты формальной верификации зашли в чат*
P
единственный способ проверки - математическое доказательство, и я не понимаю, какое понимание более высокого уровня для алгоритма возможно, чем умение его математически доказывать
так а кто его будет делать, я или компьютер?
CD
да нет, просто если Крускал работает за счет структуры разреза, он и доказывается через структуру разреза
A
можно проверить то, что ты не понимаешь, можно думать, что ты понял то, что ты не проверял, но когда ты проверяешь то, что ты думаешь, что ты понял, то можешь найти ошибки в своём понимании и соответственно его скорректировать
цитата, взорвавшая интернет
P
да нет, просто если Крускал работает за счет структуры разреза, он и доказывается через структуру разреза
а если ты видешь его доказанным на бумаге, начинаешь его писать, но чот доказательство тебе не помогает, потому что твой код не работает, то куда звонить?
CD
а если ты видешь его доказанным на бумаге, начинаешь его писать, но чот доказательство тебе не помогает, потому что твой код не работает, то куда звонить?
обращаемся ко второй части "научиться писать идеи без ошибок"
P
обращаемся ко второй части "научиться писать идеи без ошибок"
и как это сделать?
CD
этому учит упражение "продумай всю реализацию до того, как ее писать"
^
P
идея-то правильная, математически доказанная!
P
так продуманно же, даже доказано, но код не работает
CD
адепты формальной верификации сейчас вообще набегут и заявят, что программы не отличаются от математических доказательств
P
гладко было на бумаге, да забыли про овраги
P
адепты формальной верификации сейчас вообще набегут и заявят, что программы не отличаются от математических доказательств
на каком языке?
CD
какая разница
P
я представляю, как вы императивную программу будете превращать в доказательства и годами её доказывать, без изменений, желательно бумажкой с ручкой
CD
мне не надо её формально доказывать, мне надо её правильно написать
CD
как и мне не надо формально доказывать идею, мне надо, чтобы она была правильная