Stream: Miscellaneous

Topic: Memes

view this post on Zulip Zhang Ruichong (Sep 14 2022 at 16:06):

Coq does not even complain my Axiom of False :rolling_on_the_floor_laughing:

view this post on Zulip Théo Zimmermann (Sep 14 2022 at 16:10):

Why would it? Garbage in, garbage out.

view this post on Zulip Enrico Tassi (Sep 14 2022 at 16:10):

It is safer to assume false than any other property, since you know for sure and from the beginning that it is inconsistent. Assuming something that looks true may backfire

Last updated: May 18 2024 at 08:40 UTC