nLab constructive mathematics (history)

August 23, 2025

• Current (diff)
  by p on August 23, 2025 at 13:46:53.

June 14, 2025

• Revision 99 (diff)
  by fwaaldijk on June 14, 2025 at 07:54:55.

June 13, 2025

• Revision 98 (diff)
  by fwaaldijk on June 13, 2025 at 13:28:03.

January 21, 2025

• Revision 97 (diff)
  by Anonymouse on January 21, 2025 at 16:58:42.

January 17, 2025

• Revision 96 (diff)
  by Anonymouse on January 17, 2025 at 19:27:36.

January 2, 2025

• Revision 95 (diff)
  by Anonymouse on January 2, 2025 at 03:25:53.

December 3, 2024

• Revision 94 (diff)
  by Urs Schreiber on December 3, 2024 at 13:24:42.
• Revision 93 (diff)
  by Mike Shulman on December 3, 2024 at 01:34:12.

November 1, 2024

• Revision 92 (diff)
  by Urs Schreiber on November 1, 2024 at 06:59:32.
• Revision 91 (diff)
  by Urs Schreiber on November 1, 2024 at 05:07:59.

October 1, 2024

• Revision 90 (diff)
  by Urs Schreiber on October 1, 2024 at 17:55:29.

January 28, 2024

• Revision 89 (diff)
  by Anonymouse on January 28, 2024 at 05:26:29.
• Revision 88 (diff)
  by Anonymouse on January 28, 2024 at 04:51:30.
• Revision 87 (diff)
  by Urs Schreiber on January 28, 2024 at 03:52:54.

January 20, 2024

• Revision 86 (diff)
  by Urs Schreiber on January 20, 2024 at 15:08:55.

December 26, 2023

• Revision 85 (diff)
  by Daniel Freedman on December 26, 2023 at 05:51:05.
• Revision 84 (diff)
  by Daniel Freedman on December 26, 2023 at 00:48:30.

December 11, 2023

• Revision 83 (diff)
  by Anonymouse on December 11, 2023 at 23:54:57.

November 24, 2023

• Revision 82 (diff)
  by risingtides on November 24, 2023 at 23:09:44.

February 22, 2023

• Revision 81 (diff)
  by Urs Schreiber on February 22, 2023 at 08:45:31.

February 8, 2023

• Revision 80 (diff)
  by Urs Schreiber on February 8, 2023 at 09:45:34.

January 12, 2023

• Revision 79 (diff)
  by Anonymous on January 12, 2023 at 22:08:04.

January 10, 2023

• Revision 78 (diff)
  by Anonymous on January 10, 2023 at 03:59:22.

November 17, 2022

• Revision 77 (diff)
  by Anonymous on November 17, 2022 at 04:01:29.

October 30, 2022

• Revision 76 (diff)
  by Urs Schreiber on October 30, 2022 at 12:40:48.

October 12, 2022

• Revision 75 (diff)
  by Anonymous on October 12, 2022 at 11:38:28.

October 1, 2022

• Revision 74 (diff)
  by Zoran Škoda on October 1, 2022 at 17:18:33.

May 9, 2022

• Revision 73 (diff)
  by Anonymous on May 9, 2022 at 15:27:30.
• Revision 72 (diff)
  by Anonymous on May 9, 2022 at 04:29:51.
• Revision 71 (diff)
  by Anonymous on May 9, 2022 at 03:53:39.

May 5, 2022

• Revision 70 (diff)
  by Urs Schreiber on May 5, 2022 at 15:39:41.

May 3, 2022

• Revision 69 (diff)
  by Anonymous on May 3, 2022 at 19:26:50.

December 16, 2021

• Revision 68 (diff)
  by Urs Schreiber on December 16, 2021 at 08:33:13.

August 27, 2021

• Revision 67 (diff)
  by Andrej Bauer on August 27, 2021 at 05:30:00.

August 22, 2021

• Revision 66 (diff)
  by Urs Schreiber on August 22, 2021 at 19:34:40.

June 27, 2019

• Revision 65 (diff)
  by Urs Schreiber on June 27, 2019 at 13:06:07.

April 10, 2019

• Revision 64 (diff)
  by Mike Shulman on April 10, 2019 at 20:28:03.

February 12, 2019

• Revision 63 (diff)
  by Toby Bartels on February 12, 2019 at 00:20:07.

July 3, 2018

• Revision 62 (diff)
  by Mike Shulman on July 3, 2018 at 17:45:14.

January 5, 2018

• Revision 61 (diff)
  by Mike Shulman on January 5, 2018 at 18:21:38.
• Revision 60 (diff)
  by Mike Shulman on January 5, 2018 at 06:54:19.

July 20, 2017

• Revision 59 (diff)
  by Peter Heinig on July 20, 2017 at 20:23:11.

June 23, 2017

• Revision 58 (diff)
  by Daniel Luckhardt on June 23, 2017 at 18:37:11.

May 3, 2017

• Revision 57 (diff)
  by Urs Schreiber on May 3, 2017 at 06:45:22.

May 2, 2017

• Revision 56 (diff)
  by Urs Schreiber on May 2, 2017 at 15:47:39.

March 6, 2017

• Revision 55 (diff)
  by AlexisHazell on March 6, 2017 at 09:32:27.

October 10, 2016

• Revision 54 (diff)
  by Urs Schreiber on October 10, 2016 at 16:09:05.

July 27, 2016

• Revision 53 (diff)
  by Matt Earnshaw on July 27, 2016 at 13:58:30.

May 13, 2016

• Revision 52 (diff)
  by Urs Schreiber on May 13, 2016 at 06:41:31.

January 11, 2015

• Revision 51 (diff)
  by Todd Trimble on January 11, 2015 at 15:04:22.

January 10, 2015

• Revision 50 (diff)
  by Urs Schreiber on January 10, 2015 at 15:46:25.

January 7, 2015

• Revision 49 (diff)
  by Urs Schreiber on January 7, 2015 at 03:17:04.

October 30, 2014

• Revision 48 (diff)
  by Urs Schreiber on October 30, 2014 at 18:52:47.
• Revision 47 (diff)
  by David Corfield on October 30, 2014 at 18:11:42.
• Revision 46 (diff)
  by Urs Schreiber on October 30, 2014 at 14:52:40.

August 10, 2014

• Revision 45 (diff)
  by Toby Bartels on August 10, 2014 at 21:01:38.

March 5, 2014

• Revision 44 (diff)
  by Urs Schreiber on March 5, 2014 at 07:56:21.
• Revision 43 (diff)
  by Urs Schreiber on March 5, 2014 at 05:33:03.

March 3, 2014

• Revision 42 (diff)
  by Urs Schreiber on March 3, 2014 at 02:09:41.

March 1, 2014

• Revision 41 (diff)
  by Urs Schreiber on March 1, 2014 at 04:57:22.
• Revision 40 (diff)
  by Urs Schreiber on March 1, 2014 at 03:22:03.
• Revision 39 (diff)
  by Urs Schreiber on March 1, 2014 at 02:44:38.

February 28, 2014

• Revision 38 (diff)
  by Urs Schreiber on February 28, 2014 at 12:51:09.

January 16, 2014

• Revision 37 (diff)
  by Urs Schreiber on January 16, 2014 at 11:41:11.

December 21, 2013

• Revision 36 (diff)
  by Toby Bartels on December 21, 2013 at 07:26:24.

November 14, 2013

• Revision 35 (diff)
  by Urs Schreiber on November 14, 2013 at 03:36:49.
• Revision 34 (diff)
  by Toby Bartels on November 14, 2013 at 01:52:51.

November 3, 2013

• Revision 33 (diff)
  by Urs Schreiber on November 3, 2013 at 19:17:22.

June 20, 2013

• Revision 32 (diff)
  by Urs Schreiber on June 20, 2013 at 22:34:16.

April 23, 2013

• Revision 31 (diff)
  by Urs Schreiber on April 23, 2013 at 20:21:56.

September 12, 2012

• Revision 30 (diff)
  by Urs Schreiber on September 12, 2012 at 21:07:58.

August 17, 2012

• Revision 29 (diff)
  by Todd Trimble on August 17, 2012 at 16:07:25.

June 19, 2012

• Revision 28 (diff)
  by Toby Bartels on June 19, 2012 at 22:44:57.

December 4, 2010

• Revision 27 (diff)
  by Toby Bartels on December 4, 2010 at 18:28:28.
• Revision 26 (diff)
  by Toby Bartels on December 4, 2010 at 17:22:32.

October 29, 2010

• Revision 25 (diff)
  by Urs Schreiber on October 29, 2010 at 07:19:33.

September 13, 2010

• Revision 24 (diff)
  by Toby Bartels on September 13, 2010 at 19:47:48.

August 26, 2010

• Revision 23 (diff)
  by Toby Bartels on August 26, 2010 at 16:11:11.
• Revision 22 (diff)
  by Toby Bartels on August 26, 2010 at 15:35:25.

August 16, 2010

• Revision 21 (diff)
  by Toby Bartels on August 16, 2010 at 19:46:13.

July 1, 2010

• Revision 20 (diff)
  by Toby Bartels on July 1, 2010 at 16:18:21.

April 2, 2010

• Revision 19 (diff)
  by Toby Bartels on April 2, 2010 at 19:33:58.

March 31, 2010

• Revision 18 (diff)
  by Toby Bartels on March 31, 2010 at 00:29:52.

March 30, 2010

• Revision 17 (diff)
  by Urs Schreiber on March 30, 2010 at 19:30:26.
• Revision 16 (diff)
  by Mike Shulman on March 30, 2010 at 18:17:53.
• Revision 15 (diff)
  by Mike Shulman on March 30, 2010 at 17:24:11.

March 26, 2010

• Revision 14 (diff)
  by Toby Bartels on March 26, 2010 at 10:55:21.

February 27, 2010

• Revision 13 (diff)
  by Harry on February 27, 2010 at 07:28:15.

December 11, 2009

• Revision 12 (diff)
  by Toby Bartels on December 11, 2009 at 10:26:33.

November 18, 2009

• Revision 11 (diff)
  by Toby Bartels on November 18, 2009 at 22:44:58.

October 22, 2009

• Revision 10 (diff)
  by Toby Bartels on October 22, 2009 at 18:44:59.

July 4, 2009

• Revision 9 (diff)
  by Toby Bartels on July 4, 2009 at 11:50:32.

June 29, 2009

• Revision 8 (diff)
  by Toby Bartels on June 29, 2009 at 03:20:31.

June 20, 2009

• Revision 7 (diff)
  by Toby Bartels on June 20, 2009 at 02:17:53.

May 27, 2009

• Revision 6 (diff)
  by Toby Bartels on May 27, 2009 at 22:23:11.
• Revision 5 (diff)
  by Toby Bartels on May 27, 2009 at 07:50:51.
• Revision 4 (diff)
  by Toby Bartels on May 27, 2009 at 04:51:00.
• Revision 3 (diff)
  by Toby Bartels on May 27, 2009 at 03:54:20.

March 16, 2009

• Revision 2 (diff)
  by Toby Bartels on March 16, 2009 at 22:31:09.
• Revision 1
  by Toby Bartels on March 16, 2009 at 21:50:57.