Re: On-line Godel book updated

From: Stephen Harris (cyberguard1048-usenet_at_yahoo.com)
Date: 03/14/05

  • Next message: Stephen Harris: "Re: On-line Godel book updated" 
    Date: Mon, 14 Mar 2005 02:10:48 GMT

    "Stephen Harris" <cyberguard1048-usenet@yahoo.com> wrote in message
    news:Xf6Zd.9962$C47.9078@newssvr14.news.prodigy.com...
    >
    > "William Elliot" <marsh@privacy.net> wrote in message
    > news:20050312155140.Q47616@agora.rdrop.com...
    >> On Sat, 12 Mar 2005, William Elliot wrote:
    >>> On Sat, 12 Mar 2005 ps218@cam.ac.uk wrote:
    >>>
    >>>> For those interested, a revised draft of Chaps 1- 17 (about 175 pp) of
    >>>> my book on Godel's Theorems which is coming out with CUP in 2006 is
    >>>> available at www.godelbook.net.
    >>>
    >>> How clever, evidentally you don't want us to look otherwise you'd
    >>> http://www.godelbook.net
    >>> so it could be opened within news browser.
    >>>
    >>>> By all means download, but NB while this is supposed to be accessible
    >>>> it is an undergraduate/even beginning grad student textbook: so it
    >>>> isn't just informal chat -- it proves lots of theorems! :-))) All
    >>>> comments gratefully received.
    >>>
    >> Baloney. After all that blah, blah about LaTex and your book chapters,
    >> I finally find where to download that chapters, in <bah!> pdf, for which
    >> I'm not set up. Where's a readable LaTex version?
    >
    > http://www.phil.cam.ac.uk/teaching_staff/Smith/godelbook/Book.pdf
    >
    > Paste that into "Address" window at the top of your browser.
    > <Enter>
    >
    > Your browser can be configured to use the Adobe Acrobat Reader
    > plug-in which reads .pdf files.
    >
    > Or you can use
    > http://www.phil.cam.ac.uk/teaching_staff/Smith/godelbook/download.html
    >
    > and right-click with the mouse on the download link. With Mozilla or
    > Netscape you can choose "Save link as" or with IE, "Save Target as"
    > and download the file onto your hard drive.
    >
    > If you are using Linux or Unix you can install the Acrobat Reader (.pdf)
    > http://www.adobe.com/products/acrobat/readstep2.html
    >
    > There is also xpdf which comes with Linux distributions and can be
    > selected
    > for installation; or you can download it for your particular distribution.
    >
    > I frequently use Ghostscript which also comes bundled. GSview will read
    > either postscript or (.ps) or .pdf files. (works with Macs, linux and
    > windows)
    > http://www.cs.wisc.edu/~ghost/doc/AFPL/get850.htm (also browser plug-ins)
    >
    > I don't see Peter Smith offering the book as LaTex files which have or
    > haven't been compiled to .dvi files which are used for viewing. He offers
    > advice on how to *write* with LaTex, complicated logic fonts and automatic
    > typesetting. Such files are no longer very popular and .pdf is nearly
    > universal [SH: edited: the dvi files are much less popular for downloads]
    > now. For windows, one needs a DVI viewer, which is a separate free
    > download, to read different *Tex generated files.
    >
    > A person needs to be computer literate to used the internet effectively.
    > That means learning how things are already done which is rarely the way
    > that a newcomer (as you reveal yourself) thinks they "ought" to be done.
    >
    > Solve this the easy way,
    > Stephen
    >
    >
    >

  • Next message: Stephen Harris: "Re: On-line Godel book updated"

    Relevant Pages

    • Re: On-line Godel book updated
      ... After all that blah, blah about LaTex and your book ... Where's a readable LaTex ... How do you get google to googlize pdf into html and is googlated ...
      (sci.logic)
    • Re: Program for creating documentation
      ... Create Web-based documentation, ... download a nice PDF of the current version ... Table of contents for both Web-based and PDF versions ... If you don't have time or patience to learn the command-line options, there are GUI interfaces of top of latex: kile, lyx and probably many others. ...
      (alt.linux)
    • Re: Rendering Maths equations on the web
      ... It produces SGML files ... from LaTeX, so your original statement that LaTeX is better for everything ... but not fixed like a PDF ... Multiple copies formatted for differently sized screens? ...
      (uk.comp.sys.mac)
    • Re: Rendering Maths equations on the web
      ... It produces SGML files ... from LaTeX, so your original statement that LaTeX is better for everything ... but not fixed like a PDF ... Multiple copies formatted for differently sized screens? ...
      (uk.comp.sys.mac)
    • Re: Kurzer TeX-Text
      ... An einer Diss oder auch anderen wissenschaftlichen Arbeit gibt es ... Das Setzen einer Diss stellt mit LaTeX kein Problem ... > Gerade die Platzierung von Grafiken ist etwas, ... > Veroeffentlichung einer Diss als PDF auf dem Uni-Server eine sinnvolle ...
      (de.comp.text.tex)