
Math Software Math Software  Mathematica, Matlab, Calculators, Graphing Software 
 LinkBack  Thread Tools  Display Modes 
January 13th, 2013, 05:16 AM  #1 
Newbie Joined: Dec 2012 Posts: 5 Thanks: 0  Reading and writing "structured" proofs: software request.
I'm looking for software in which to read and write proofs. The idea is somewhat similar to Leslie Lamport's "Structured Proofs." You have a highest level of the document, which is a sequence of definitions and theorems. You can click on a theorem to see a proof, which is itself a sequence of statements. Within this proof, you can click a statement to see a justification; which is again a sequence of statements. This process should continue as far as necessary. Rather than being hyperlinks that take you to a new page, I'd like the clickedupon statement and all the statements that come after it to "move down" in order to make space for the justification being sought. Does anyone know of software that does this, or could easily be made to do this? 
January 13th, 2013, 11:49 AM  #2 
Global Moderator Joined: Nov 2006 From: UTC 5 Posts: 16,046 Thanks: 938 Math Focus: Number theory, computational mathematics, combinatorics, FOM, symbolic logic, TCS, algorithms  Re: Reading and writing "structured" proofs: software reques
Well, you could look at Metamath which does something similar.

January 21st, 2013, 11:41 PM  #3 
Newbie Joined: Jan 2013 Posts: 6 Thanks: 0  Re: Reading and writing "structured" proofs: software reques
The mathematical community has agreed upon a number of moreorless standard conventions for proofwriting. On the whole, these recommendations represent a consensus among the best mathematical writers. Although most of these guidelines are stated as hard and fast rules, every rule admits exceptions, and experienced mathematical writers might encounter situations that call for different choices. Some of the guidelines that have to be followed are Identifying the Audience, Writing in paragraph form, Using proper English, Writing clearly, Including motivation and many others.

January 22nd, 2013, 05:53 AM  #4 
Global Moderator Joined: Nov 2006 From: UTC 5 Posts: 16,046 Thanks: 938 Math Focus: Number theory, computational mathematics, combinatorics, FOM, symbolic logic, TCS, algorithms  Re: Reading and writing "structured" proofs: software reques
That's a quote, right? Please give attribution!

January 24th, 2013, 02:01 AM  #5 
Newbie Joined: Nov 2012 From: Russia Posts: 6 Thanks: 0  Re: Reading and writing "structured" proofs: softw
It is the true information

January 25th, 2013, 08:06 AM  #6 
Global Moderator Joined: Dec 2006 Posts: 20,939 Thanks: 2210 
What johnykeets posted may have been based on this article.

February 1st, 2013, 10:24 AM  #7  
Newbie Joined: Dec 2012 Posts: 5 Thanks: 0  Re: Reading and writing "structured" proofs: software reques
Dear johnykeets, You're very presumptuous, and more than a little smug. You write: Quote:
Let me ask you a question. How do you think those writers got where they are today? Do you think they rose to prominence by blind adherence to "consensus opinion," or fictitious "agreements" that never happened? Of course not. Mediocre minds trust the "consensus," but great intellects are more sceptical. Now. As a free man, you're entitled to choose whose works you read, and whose you forgo. And, as a free man, and an explorer, and a nonconformist, and everything else women love, I'll continue proofwriting in whatever format I damn well please. Maybe one day, the set of all the best mathematical writers will incorporate me. ("Incorporate" being a word I reserve for membership, while "include" I use for the superset relation.) Now since you're a newcomer to these forums, I'm going to cut you some slack. Don't get smug with me again, Johnny.  
February 1st, 2013, 11:22 AM  #8 
Global Moderator Joined: Nov 2006 From: UTC 5 Posts: 16,046 Thanks: 938 Math Focus: Number theory, computational mathematics, combinatorics, FOM, symbolic logic, TCS, algorithms  Re: Reading and writing "structured" proofs: software reques
(Note that you're essentially arguing with an extract from the John Lee article, not Johnny Keets.)

February 4th, 2013, 12:22 AM  #9 
Newbie Joined: Dec 2012 Posts: 5 Thanks: 0  Re: Reading and writing "structured" proofs: software reques
To be honest, looking back I feel like I overreacted. If you're reading this johnny, I hope you'll accept my apologies for taking things too seriously. I'm sure we both have better things to do than have an argument over this.


Tags 
proofs, reading, request, software, structured, writing 
Search tags for this page 
Click on a term to search for related topics.

Thread Tools  
Display Modes  

Similar Threads  
Thread  Thread Starter  Forum  Replies  Last Post 
A "simple" application of dirac delta "shift theorem"...help  SedaKhold  Calculus  0  February 13th, 2012 11:45 AM 
Conjecture on "proof on proofs" for infinite cases  Eureka  Number Theory  6  January 29th, 2012 02:28 AM 
"separate and integrate" or "Orangutang method"  The Chaz  Calculus  1  August 5th, 2011 09:03 PM 
sample exerimentneed help finding "statistic" and "result"  katie0127  Advanced Statistics  0  December 3rd, 2008 01:54 PM 
terms "nonincreasing" or "nondecreasing"  Ujjwal  Number Theory  2  September 29th, 2008 07:06 AM 