Respuestas al mensaje #14,445

Theorem provers like Coq have in-built termination checkers, not exactly narrow nor pre-programmed if you ask me. An often missed piece of these...

Thank you. I know the dread you mean. It's not a question of "likely"; the one (tulpas and magical practices) is the logical conclusion of the...

You need to abandon materialism. Fortunately, abandoning materialism is the rational position. That philosophy was never rational, but it...