User contributions for Jochen Burghardt

Search for contributionsshowhide

⧼contribs-top⧽

Username, IP address or CIDR range:

Namespace:

Invert selection

Associated namespace

Tag filter:

Invert selection

Only show edits that are latest revisions

Only show edits that are page creations

Hide minor edits

⧼contribs-date⧽

From date:

To date:

Show only edits pending review

Hide probably good edits

11:5111:51, 20 December 2024 diff hist −31 Arkhangelsky (surname) No edit summary current
11:3411:34, 20 December 2024 diff hist 0 Bird–Meertens formalism Undid revision 1264006885 by 2601:201:8404:9180:F968:1DA8:9D85:DF4A: "calculation" if definitely wrong; may be proof calculus is the least inadequate article covering the intended meaning current

16:2616:26, 17 December 2024 diff hist 54 Pierre Lecoq →top: commons img
16:0116:01, 17 December 2024 diff hist 38 Equality (mathematics) →Basic properties: use explicit quantification to express function equality (the implication has an overly restricted antecedent, but this is ok for an example, imo)

13:2613:26, 16 December 2024 diff hist −27 Expression (mathematics) →Lambda calculus: rm repeated links; lambda calculus consists of abstraction and application; BTW: Richardson's theorem is irrelevant for lambda calculus, and should be moved to a more appropriate place
13:0913:09, 16 December 2024 diff hist 0 Mojżesz Presburger →top: birthday 27-->17, cf also https://www.mimuw.edu.pl/~bojan/presburger/CV.JPG current

20:4620:46, 15 December 2024 diff hist −8 Equality (mathematics) →Equations: suggest to avoid speaking of objects here (imo, an object corresponds to a variable-free term); fix grammar; singular is more clear
18:1918:19, 15 December 2024 diff hist −26 Gödel's incompleteness theorems Undid revision 1262931885 by SeekerVI (talk) current Tag: Undo

16:4416:44, 11 December 2024 diff hist 291 Fixed point (mathematics) undid 2 edits: found the link still alive (and redirecting to http://yutaka-nishiyama.sakura.ne.jp) ; replacing by {{cite}}

21:3921:39, 10 December 2024 diff hist −444 Universal quantification →Basics: the "etc" requires the reader to guess which sequence the author had in mind, and therefore is not formalizable; any possible formalization requires a language element similar to a univarsal quantifier current
21:3021:30, 10 December 2024 diff hist −428 Piecewise function →top: rm sentences that tacitly assume P to be a property of f at some given point; this doesn't make sense e.g. for "constant" ("f is constant at x"),
21:1521:15, 10 December 2024 diff hist 240 Talk:Kleene's algorithm →Kleene's theorem: Reply current Tag: Reply

17:3817:38, 7 December 2024 diff hist −191 Equivalence class Undid revision 1261729187 by Roffaduft (talk): L^{p}(X,\Sigma,\mu) was introduced here has a set of functions; of course then its quotient set (called \mathcal{L}^{p}(X,\Sigma,\mu) here) is a set of equivalence classes Tag: Undo
17:2117:21, 7 December 2024 diff hist 167 Talk:Congruence relation →Categorical usage: Reply current Tag: Reply
17:2017:20, 7 December 2024 diff hist 347 Congruence relation →Category theory: as requested on talk page
17:1017:10, 7 December 2024 diff hist −60 Inequality (mathematics) Undid revision 1261685031 by 94.190.218.87 (talk): "exercises" is more precise current Tag: Undo
17:0917:09, 7 December 2024 diff hist −191 Equivalence class →Examples: make definition explicit; no need to re-state general consequences about quotient set (moreover, "consists of" is likely to be misread as "is the set of all", while "is the union of all" is meant) Tag: Reverted
16:5916:59, 7 December 2024 diff hist −27 Lambda calculus →Explanation and applications: avoid adjacent links; the previous link programming language theory should be sufficient
16:5516:55, 7 December 2024 diff hist −122 Lambda calculus rm of of the repeated wikilinks

11:4411:44, 5 December 2024 diff hist −5 Well-order Undid revision 1261298210 by JBW (talk): found Nubtom's argument more convincing: saying (in both versions) that a set can have different order types implies that orders can be imposed subsequently on a set current Tag: Undo
11:3511:35, 5 December 2024 diff hist −38 Gödel's completeness theorem Undid revision 1261225437 by Tule-hog (talk): this is obvious: provable in S1 <--> valid <--> provable in S2 Tags: Undo Reverted
11:3211:32, 5 December 2024 diff hist 24 Absolute infinite Undid revision 1261201388 by EliteCameraBuddy (talk) current Tag: Undo