Jump to content

Related changes

← Brouwer–Heyting–Kolmogorov interpretation

Enter a page name to see changes on pages linked to or from that page. (To see members of a category, enter Category:Name of category). Changes to pages on your Watchlist are shown in bold with a green bullet. See more at Help:Related changes.

Recent changes optionsShow last 50 | 100 | 250 | 500 changes in last 1 | 3 | 7 | 14 | 30 days
Hide registered users | Hide unregistered users | Hide my edits | Show bots | Hide minor edits | Show page categorization | Show Wikidata | Hide probably good edits
Show new changes starting from 15:40, 21 July 2025

Namespace:	Invert selection Associated namespace
Tag filter:	Invert selection
Page name:	Show changes to pages linked to the given page instead

List of abbreviations (help):

D: Edit made at Wikidata
r: Edit flagged by ORES
N: New page
m: Minor edit
b: Bot edit
(±123): Page byte size change
: Temporarily watched page

20 July 2025

diffhist Gödel's incompleteness theorems 14:58 −116 Jochen Burghardt talk contribs (→top: now obsolete)

19 July 2025

diffhist m Gödel's incompleteness theorems 21:31 −29 FrazerSebastian talk contribs (Godels theroum are universally accepted in the scientific community.)
diffhist m Natural number 19:23 +16 Tassedethe talk contribs (v2.05 - fix links - Jeremy Gray) Tag: WPCleaner

15 July 2025

diffhist m Lambda calculus 19:32 −4 Frap talk contribs
diffhist Lambda calculus 18:28 +416 Jochen Burghardt talk contribs (→Free variables: citation; bound / free aren't disjoint)
diffhist Lambda calculus 17:39 −32 Scrooge Mcduc talk contribs (→Free variables)
diffhist Andrey Kolmogorov 09:34 0 William Avery talk contribs (MOS:LQ)

Retrieved from "https://en.wikipedia.org/wiki/Special:RecentChangesLinked/Brouwer–Heyting–Kolmogorov_interpretation"