That’s not a dumb question. It’s a smart one. 😉 It’s whether you can write a co

That’s not a dumb question. It’s a smart one. 😉
It’s whether you can write a constructive proof from first principles (laws, axioms). If you can’t you don’t know. If you can you do know. Doing that is f’ing hard. But, for example, contrafabian does it almost every day.