alt Hacker NewsPlus, mathematics isn't just a giant machine of deductive statements. And the proof checking systems are in their infant stages and require huge amounts of efforts even for simple things.
Replies
RossBencina • last Friday at 11:06 PM
> mathematics isn't just a giant machine of deductive statements
I think the subject at question here is mathematical truth, not "mathematics" whatever that means.
> mathematics isn't just a giant machine of deductive statements
I know HN can be volatile sometimes, but I sincerely want to hear more about these parts of math that are not pure deductive reasoning.
Do you just mean that we must assume something to get the ball rolling, or what?