Not signed in (Sign In)

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 3rd 2019

    Added reference to the undergrad textbook Bridger 2019

    diff, v9, current

    • CommentRowNumber4.
    • CommentAuthorRodMcGuire
    • CommentTimeMay 3rd 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 3rd 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

    • CommentRowNumber12.
    • CommentAuthorUrs
    • CommentTimeJan 28th 2023

    worked on the references

    diff, v19, current

    • CommentRowNumber13.
    • CommentAuthorUrs
    • CommentTimeFeb 8th 2023

    added publication data to:

    diff, v21, current

    • CommentRowNumber14.
    • CommentAuthorUrs
    • CommentTimeFeb 8th 2023
    • (edited Feb 8th 2023)

    have added publication data for this item:

    and added pointer to this item:

    the entry also has an old item

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

    but the link is dead and I haven’t found a replacement (but by its date, this is probably the MSc thesis preceding the PhD thesis above, so maybe it’s redundant to link to it anyways)

    diff, v21, current

    • CommentRowNumber15.
    • CommentAuthorUrs
    • CommentTimeFeb 22nd 2023

    added pointer to:

    here and at Cauchy real number

    diff, v25, current