Re: What is a proof, exactly?
From: Dan Christensen (dchris_at_netcom.ca)
Date: 11/23/04
- Next message: Richard Henry: "Re: Sequencing of high-school subjects (Was: Re: Is this math test too easy?)"
- Previous message: Saint Cad: "Re: Is this math test too easy?"
- In reply to: Jasper Stein: "What is a proof, exactly?"
- Next in thread: Han de Bruijn: "Re: What is a proof, exactly?"
- Messages sorted by: [ date ] [ thread ]
Date: 22 Nov 2004 20:39:04 -0800
Jasper Stein <J.J.Stein.Stein@cs.cs.ru.ru.nl.nl> wrote in message news:<cnsv56$aos$1@wnnews.sci.kun.nl>...
> Dear mathematicians,
>
> For my Ph.D. work in automated reasoning I am investigating formalised
> linear algebra. In automated reasoning one tries to capture mathematical
> definitions, theorems as well as mathematical reasoning in (computerised)
> formal systems, notably type theories.
>
> However, due to several technical difficulties formalising linear algebra I
> have begun wondering what exactly it means to have a proof of a theorem. I
> hope to have answers to this question from a number of mathematicians
> unspoilt by the automated reasoning community. Could you please comment on
> this main question ("what is a proof?")?
>
I am an amateur mathematician and have pondered this question for many
years. My DC Proof program is the result of this research. It is also
an excellent learning tool to teach the fundamentals of formal logic
and proof at the high school and college level.
For more information and my free, PC-based, downloadable program (last
updated 2004-11-20), visit my website at:
Dan Christensen
dc@dcproof.com
- Next message: Richard Henry: "Re: Sequencing of high-school subjects (Was: Re: Is this math test too easy?)"
- Previous message: Saint Cad: "Re: Is this math test too easy?"
- In reply to: Jasper Stein: "What is a proof, exactly?"
- Next in thread: Han de Bruijn: "Re: What is a proof, exactly?"
- Messages sorted by: [ date ] [ thread ]
Relevant Pages
|
