Varför ‘konstruktivism’ om fastställandet av ett matematiskt teorem bara innebär antagandet av en konvention? Men, kunde man inte tänka sig att funktionen hos ett konstruktivt bevis vore den att visa oss varför det är plausibelt att antaga just denna konvention?
Kommentarer