Bewerkingsgeschiedenis van Intuïtionisme

28 feb 2024

• huidigvorige 20:1228 feb 2024 20:12‎ ChristiaanPR overleg bijdragen‎ 4.536 bytes −40‎ Geen bewerkingssamenvatting ongedaan maken
• huidigvorige 20:0928 feb 2024 20:09‎ ChristiaanPR overleg bijdragen‎ 4.576 bytes −13‎ Geen bewerkingssamenvatting ongedaan maken
• huidigvorige 20:0628 feb 2024 20:06‎ ChristiaanPR overleg bijdragen‎ 4.589 bytes 0‎ →‎Intuïtionistische uitgangspunten ongedaan maken
• huidigvorige 20:0128 feb 2024 20:01‎ ChristiaanPR overleg bijdragen‎ 4.589 bytes −27‎ →‎Intuïtionistische uitgangspunten ongedaan maken
• huidigvorige 19:4728 feb 2024 19:47‎ ChristiaanPR overleg bijdragen‎ 4.616 bytes −78‎ cirkelverwijzing intuïtionistische logica ongedaan maken

27 feb 2022

• huidigvorige 12:3327 feb 2022 12:33‎ BoH overleg bijdragen‎ 4.694 bytes +98‎ Geen bewerkingssamenvatting ongedaan maken

5 jan 2021

• huidigvorige 12:105 jan 2021 12:10‎ Bob.v.R overleg bijdragen‎ k 4.596 bytes −3‎ →‎Intuïtionistische uitgangspunten: verzameling is enkelvoud ongedaan maken

14 jul 2019

• huidigvorige 09:5014 jul 2019 09:50‎ BoH overleg bijdragen‎ 4.599 bytes −19‎ Geen bewerkingssamenvatting ongedaan maken

16 aug 2017

• huidigvorige 05:0616 aug 2017 05:06‎ InternetArchiveBot overleg bijdragen‎ 4.618 bytes +43‎ 1 bron(nen) gered en 0 gelabeld als onbereikbaar #IABot (v1.5beta) ongedaan maken

25 nov 2016

• huidigvorige 04:2325 nov 2016 04:23‎ Toth overleg bijdragen‎ 4.575 bytes −1‎ →‎Intuïtionistische uitgangspunten ongedaan maken
• huidigvorige 04:1225 nov 2016 04:12‎ Toth overleg bijdragen‎ 4.576 bytes 0‎ →‎Intuïtionistische uitgangspunten ongedaan maken

24 okt 2013

• huidigvorige 00:2324 okt 2013 00:23‎ JRB overleg bijdragen‎ 4.576 bytes −296‎ Geen bewerkingssamenvatting ongedaan maken

23 okt 2013

• huidigvorige 19:2423 okt 2013 19:24‎ Hoopje overleg bijdragen‎ k 4.872 bytes −2‎ nog een ongedaan maken
• huidigvorige 19:2223 okt 2013 19:22‎ Hoopje overleg bijdragen‎ 4.874 bytes −4‎ →‎Intuïtionistische uitgangspunten: te letterlijke vertaling: fixpoint = dekpunt ongedaan maken

3 apr 2013

• huidigvorige 11:203 apr 2013 11:20‎ Addbot overleg bijdragen‎ k 4.878 bytes −174‎ Robot: Verplaatsing van 4 interwikilinks. Deze staan nu op Wikidata onder d:q176786 ongedaan maken

19 mrt 2013

• huidigvorige 00:5819 mrt 2013 00:58‎ Addbot overleg bijdragen‎ k 5.052 bytes −72‎ Robot: Verplaatsing van 3 interwikilinks. Deze staan nu op Wikidata onder d:q176786 ongedaan maken

21 jan 2013

• huidigvorige 13:5121 jan 2013 13:51‎ Wikispaghetti overleg bijdragen‎ k 5.124 bytes −1‎ lay-out: overbodige witregel verwijderd ongedaan maken

1 dec 2012

• huidigvorige 01:591 dec 2012 01:59‎ Kees.huizing overleg bijdragen‎ k 5.125 bytes −4‎ →‎Externe links ongedaan maken

18 okt 2012

• huidigvorige 00:4918 okt 2012 00:49‎ MerlIwBot overleg bijdragen‎ k 5.129 bytes +34‎ Robot: toegevoegd: sr:Интуиционизам ongedaan maken

4 jul 2012

• huidigvorige 01:244 jul 2012 01:24‎ RomaineBot overleg bijdragen‎ k 5.095 bytes +5‎ Linkfix ivm sjabloonnaamgeving / parameterfix ongedaan maken

13 mei 2012

• huidigvorige 01:2213 mei 2012 01:22‎ MerlIwBot overleg bijdragen‎ k 5.090 bytes +22‎ Robot: toegevoegd: pms:Antuissionism ongedaan maken

6 mei 2012

• huidigvorige 12:096 mei 2012 12:09‎ MerlIwBot overleg bijdragen‎ k 5.068 bytes +163‎ Robot: toegevoegd: fr:Intuitionnisme, ka:მათემატიკური ინტუიციონიზმი, hu:Matematikai intuicionizmus, gewijzigd: de:Intuitionismus (Logik und Mathematik) ongedaan maken

24 okt 2011

• huidigvorige 18:5724 okt 2011 18:57‎ Hoopje overleg bijdragen‎ 4.905 bytes −261‎ Versie 27785267 van Ameulen11 (overleg) ongedaan gemaakt - off-topic ongedaan maken
• huidigvorige 11:4224 okt 2011 11:42‎ Ameulen11 overleg bijdragen‎ 5.166 bytes +261‎ →‎Intuïtionistische uitgangspunten ongedaan maken

13 mei 2011

• huidigvorige 03:0613 mei 2011 03:06‎ MerlIwBot overleg bijdragen‎ k 4.905 bytes +21‎ Robot: toegevoegd: fi:Intuitionismi, gewijzigd: tr:Sezgici matematik ongedaan maken

1 mrt 2011

• huidigvorige 13:251 mrt 2011 13:25‎ Andre Engels overleg bijdragen‎ 4.884 bytes +9‎ →‎Intuïtionistische uitgangspunten: de dekpuntstelling is intuïtionistisch niet onwaar, maar onbewijsbaar - zijn ontkenning kan ook niet bewezen worden ongedaan maken

26 dec 2009

• huidigvorige 16:1526 dec 2009 16:15‎ Simeon overleg bijdragen‎ k 4.875 bytes +35‎ →‎Intuïtionistische uitgangspunten: wiki ongedaan maken

14 jul 2009

• huidigvorige 15:1714 jul 2009 15:17‎ De Wikischim overleg bijdragen‎ k 4.840 bytes +4‎ →‎Intuïtionistische formele logica ongedaan maken
• huidigvorige 15:1714 jul 2009 15:17‎ De Wikischim overleg bijdragen‎ k 4.836 bytes +24‎ →‎Zie ook ongedaan maken

4 dec 2008

• huidigvorige 00:284 dec 2008 00:28‎ RudolphousBot overleg bijdragen‎ k 4.812 bytes +30‎ Defaultsort added without diacritical characters for sortingreasons., catfix ongedaan maken

12 okt 2008

• huidigvorige 13:2612 okt 2008 13:26‎ Simeon overleg bijdragen‎ k 4.782 bytes +39‎ Categorie:Logica in de informatica toegevoegd (HotCat.js) ongedaan maken

25 sep 2008

• huidigvorige 23:1325 sep 2008 23:13‎ JRB overleg bijdragen‎ 4.743 bytes +21‎ Geen bewerkingssamenvatting ongedaan maken

21 jul 2007

• huidigvorige 00:3621 jul 2007 00:36‎ Mdd overleg bijdragen‎ k 4.722 bytes +401‎ Doorverwijzingen en externe links ongedaan maken
• huidigvorige 00:2521 jul 2007 00:25‎ Mdd overleg bijdragen‎ k 4.321 bytes +32‎ Doorverwijzing naar Grondslagen van de wiskunde ongedaan maken

22 apr 2007

• huidigvorige 14:1222 apr 2007 14:12‎ Riki overleg bijdragen‎ k 4.289 bytes +3‎ Geen bewerkingssamenvatting ongedaan maken

18 mrt 2007

• huidigvorige 18:4518 mrt 2007 18:45‎ Qwertyus overleg bijdragen‎ k 4.286 bytes 0‎ →‎Intuïtionistische formele logica ongedaan maken
• huidigvorige 18:4418 mrt 2007 18:44‎ Qwertyus overleg bijdragen‎ k 4.286 bytes +8‎ →‎Intuïtionistische formele logica ongedaan maken
• huidigvorige 18:4018 mrt 2007 18:40‎ Qwertyus overleg bijdragen‎ k 4.278 bytes +24‎ bronnenboxje ongedaan maken
• huidigvorige 18:4018 mrt 2007 18:40‎ Qwertyus overleg bijdragen‎ 4.254 bytes +258‎ →‎Intuïtionistische formele logica: Heytings werk ongedaan maken

18 jan 2007

• huidigvorige 10:1918 jan 2007 10:19‎ Andre Engels overleg bijdragen‎ 3.996 bytes +40‎ cat:Filosofie van de wiskunde ongedaan maken

15 jan 2007

• huidigvorige 21:5015 jan 2007 21:50‎ Dryke overleg bijdragen‎ k 3.956 bytes −23‎ Geen bewerkingssamenvatting ongedaan maken

12 jan 2007

• huidigvorige 16:4912 jan 2007 16:49‎ Johan Lont overleg bijdragen‎ k 3.979 bytes +11‎ →‎Constructieve wiskunde: linkcorrectie ongedaan maken

10 jan 2007

• huidigvorige 17:1510 jan 2007 17:15‎ Basss overleg bijdragen‎ k 3.968 bytes +21‎ (cat) ongedaan maken

12 nov 2006

• huidigvorige 20:4412 nov 2006 20:44‎ Robbot overleg bijdragen‎ k 3.947 bytes +23‎ Robot-geholpen doorverwijzing: Verzameling ongedaan maken

31 okt 2006

• huidigvorige 20:5631 okt 2006 20:56‎ Perelaar overleg bijdragen‎ k 3.924 bytes +1‎ Geen bewerkingssamenvatting ongedaan maken

4 aug 2006

• huidigvorige 15:524 aug 2006 15:52‎ Imodium overleg bijdragen‎ 3.923 bytes +17‎ Geen bewerkingssamenvatting ongedaan maken

3 jul 2006

• huidigvorige 13:563 jul 2006 13:56‎ Perelaar overleg bijdragen‎ k 3.906 bytes −1‎ Geen bewerkingssamenvatting ongedaan maken

22 apr 2006

• huidigvorige 19:4422 apr 2006 19:44‎ Qwertyus overleg bijdragen‎ k 3.907 bytes +16‎ →‎Constructieve wiskunde ongedaan maken

12 mrt 2006

• huidigvorige 01:5712 mrt 2006 01:57‎ Christoffel K overleg bijdragen‎ 3.891 bytes −2‎ algorithme --> algoritme ongedaan maken

26 feb 2006

• huidigvorige 20:2926 feb 2006 20:29‎ Pieter1bot overleg bijdragen‎ k 3.893 bytes −1‎ Robot: Automated text replacement (-essentiëel +essentieel) ongedaan maken