A statement equivalent to First Incompleteness theorem There are theorems that can be neither proved nor disproved in a given
Continue readingTag: philosophy of mathematics
An informal “conjecture”
Conjecture: Every time when an unproved result seems obvious, we refer to an unproved conjecture (from which it follows) in
Continue reading