## A Conversation for Basic Methods of Mathematical Proof

### Problem

Smiley Ben Started conversation Jan 10, 2001

Your section on 'proof by induction' outlines what mathematicians call proof by induction - but a logician will tell you that that's entirely deductive. Proof by induction according to philosophers (and thus logicians) is something very different.

### Problem

Mark Moxon Posted Jan 10, 2001

Good job this entry introduces itself by saying it's about mathematical and scientific proofs, then, Ben.

We can easily rename this to include 'mathematical' in the title if you want to cover logical proofs in your Uni project...

### Problem

Smiley Ben Posted Jan 10, 2001

Then surely it should already say 'Basic methods of mathematical and scientific proof'.

And of course this makes more sense now it's a 'Maths and logic' page, since 'Numbers and logic' would be entirely a logician's domain...

### Problem

Martin Harper Posted Jan 11, 2001

Why scientific proofs? The scientific method doesn't, as I get reminded too many times, prove stuff - it just brings sufficiently stupid quantities of evidence to bear that only an idiot would disagree... though you might call that "scientific proof".

All the stuff here seems, to me, to be about mathematical proof - induction and suchlike - I might venture to humbly suggest that the second line would be more accurate starting: "Mathematical proofs (as opposed to other proofs<footnote: legal, scientific, philosophical>"...

Or I might not venture, and decide that it's too late now, cos I'd only get told off for daring to criticise...

### Problem

Mark Moxon Posted Jan 11, 2001

declare procedure path_of_least_resistance() {

change(title) = "Basic Methods of Mathematical Proof";

set_line(1,2) = "Mathematical proofsAs opposed to legal, scientific or philosophical proofs. have to be rigorous.";

}

avoid(responsiblity);

(And no pedantry about the syntax, right? This is written in M++, where I make up the rules. )

### Problem

Smiley Ben Posted Jan 11, 2001

That's great. Thanks Mrak.

And of *course* we won't be pedantic.... pedantry refers only to the derivation of words, anything else is simply pernickitiness...

### Problem

J'au-Ã¦mne Posted Feb 26, 2001

Mark, have you read about C+-? [URL Removed by moderator]

I wish I would have caught up with this thread a month ago...

Key: Complain about this post

### Problem

### More Conversations for Basic Methods of Mathematical Proof

### Write an Entry

"The Hitchhiker's Guide to the Galaxy is a wholly remarkable book. It has been compiled and recompiled many times and under many different editorships. It contains contributions from countless numbers of travellers and researchers."