reckless intuitions of an epistemic hygienist ([info]gustavolacerda) wrote,
@ 2008-04-29 15:21:00
Previous Entry  Add to memories!  Tell a Friend!  Next Entry
proof style
I'd really like to write "end suppose" in the camera-ready version of my paper.


(Post a new comment)


[info]wjl
2008-04-29 07:24 pm UTC (link)
Fitch-style natural deduction!

(Reply to this) (Thread)


[info]gustavolacerda
2008-04-29 07:36 pm UTC (link)


I really think this would help clarity sometimes. Can't say for sure, since I haven't read math papers in a while.

I'd like to have such structure, at least as metadata. I wonder if you can have interactive PDFs (like, e.g. alt text when your rest your mouse on a proof).

(Reply to this) (Parent)(Thread)


[info]bhudson
2008-04-29 07:53 pm UTC (link)
You can certainly have links. So you could hack up a macro that puts in an endnote, and pdflatex would put in a link to the reference.

Edit: Or you could google before saying such silly things, and realize that there *is* of course already a package called 'endnote' [no relation to EndNote(TM)] to do exactly this.

Edited at 2008-04-29 07:54 pm UTC

(Reply to this) (Parent)(Thread)


[info]gustavolacerda
2008-04-29 09:07 pm UTC (link)
so you mean the endnote would essentially be an appendix, containing the metadata or the formatted proof?

(Reply to this) (Parent)(Thread)


[info]bhudson
2008-04-29 09:21 pm UTC (link)
Right, that's my vision. You'd say informal bullshit\endnote{formal proof}, therefore I rule.

(Reply to this) (Parent)(Thread)


[info]gustavolacerda
2008-04-29 09:34 pm UTC (link)
can one change a parameter to produce an endnote-less PDF, for the camera-ready submission?

(Reply to this) (Parent)(Thread)


[info]bhudson
2008-04-29 09:36 pm UTC (link)
presumably
\renewcommand{\endnote}[1]{}

(Reply to this) (Parent)


[info]rdore
2008-04-30 04:48 pm UTC (link)
Often, this ought to be obvious from context. If it isn't obvious, you ought to remind the reader what you're doing and what "suppose" you're closing off.

(Reply to this) (Thread)


[info]gustavolacerda
2008-04-30 04:56 pm UTC (link)
<< you ought to remind the reader what you're doing and what "suppose" you're closing off. >>

how do you refer to the different supposes in the context? by line number?

(Reply to this) (Parent)(Thread)


[info]rdore
2008-04-30 05:02 pm UTC (link)
Ideally you can describe what you're doing. ("This completes the argument by contradiction showing that ...")

Also:
http://en.wikibooks.org/wiki/LaTeX/Labels_and_Cross-referencing

Edited at 2008-04-30 05:04 pm UTC

(Reply to this) (Parent)


Create an Account
Forgot your login or password?
Login w/ OpenID
English • Español • Deutsch • Русский…