Stream: Miscellaneous

Topic: Memes


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

image.png
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: Jan 29 2023 at 18:03 UTC