Not signed in (Sign In)

Start a new discussion

Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

  • Sign in using OpenID

Discussion Tag Cloud

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

Welcome to nForum
If you want to take part in these discussions either sign in now (if you have an account), apply for one now (if you don't).
    • CommentRowNumber1.
    • CommentAuthorUrs
    • CommentTimeNov 29th 2012
    • (edited Nov 29th 2012)

    added some references on constructive analysis here.

    • CommentRowNumber2.
    • CommentAuthorUrs
    • CommentTimeFeb 28th 2014

    cross-linked with a new entry computable analysis

    (maybe they should have been merged right away…)

    • CommentRowNumber3.
    • CommentAuthorDavidRoberts
    • CommentTimeMay 2nd 2019

    Added reference to the undergrad textbook Bridger 2019

    diff, v9, current

    • CommentRowNumber4.
    • CommentAuthorRodMcGuire
    • CommentTimeMay 2nd 2019

    Added reference to the undergrad textbook Bridger 2019

    Is that a new book or just a reprint of his his 2006 book? (amazon 320pp.)

    The AMS version (302pp.) uses the same image on its cover and Mark Bridger seems to have retired around 10 years ago.

    • CommentRowNumber5.
    • CommentAuthorDavidRoberts
    • CommentTimeMay 2nd 2019

    I think it’s probably functionally identical to the old book, but costs half as much. I don’t feel like advertising the Wiley version. The change in title is a subtle improvement from a marketing point of view, since interval arithmetic is hot stuff for verified computations cf the computational work of David Platt that helped prove the ternary Goldbach conjecture, and also helped in lowering the bound on the de Bruijn-Newman constant by Polymath15.

    • CommentRowNumber6.
    • CommentAuthorUrs
    • CommentTimeJun 27th 2019

    added pointer to

    • Auke Booij, Constructive analysis in univalent type theory, 2017 (pdf)

    diff, v11, current

    • CommentRowNumber7.
    • CommentAuthorUrs
    • CommentTimeJun 27th 2019


    • Auke Booij, Extensional constructive real analysis via locators (arXiv:1805.06781)

    diff, v11, current

    • CommentRowNumber8.
    • CommentAuthorspitters
    • CommentTimeJun 27th 2019
    • (edited Jun 27th 2019)

    We have a draft paper on synthetic topology in HoTT. We’re hoping to release an updated and rewritten version in a month or so.

    • CommentRowNumber9.
    • CommentAuthorGuest
    • CommentTimeJun 28th 2019
    This page seems to be saying that constructive analysis is the same thing as computable analysis. It is not. Computable analysis is developed using classical logic and computability theory. Constructive analysis is developed in intuitionisic logic *without* using computability theory.
    • CommentRowNumber10.
    • CommentAuthorMike Shulman
    • CommentTimeJun 29th 2019

    Corrected and clarified relation to computable analysis (thanks Guest!).

    diff, v12, current

    • CommentRowNumber11.
    • CommentAuthorUrs
    • CommentTimeOct 28th 2019
    • (edited Oct 29th 2019)

    added pointer to this talk from earlier today:

    • Fredrik Johansson, Reliable real computing, talk at Mathematical Institute of Oxford, 2019 (pdf)

    diff, v14, current

Add your comments
  • Please log in or leave your comment as a "guest post". If commenting as a "guest", please include your name in the message as a courtesy. Note: only certain categories allow guest posts.
  • To produce a hyperlink to an nLab entry, simply put double square brackets around its name, e.g. [[category]]. To use (La)TeX mathematics in your post, make sure Markdown+Itex is selected below and put your mathematics between dollar signs as usual. Only a subset of the usual TeX math commands are accepted: see here for a list.

  • (Help)