Metadata
Author: WikiMatrix
Data
English[en]
The informal proofs of everyday mathematical practice are unlike the formal proofs of proof theory.
Dutch[nl]
De informele bewijzen uit de wiskundige dagelijkse praktijk komen niet overeen met de formele bewijzen uit de bewijstheorie.