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

18:5518:55, 2 January 2025 diff hist +10 Semi-Thue system →Undecidability of the word problem: defuse WP:EASTEREGG current

19:3219:32, 27 December 2024 diff hist +6 Relation (mathematics) →Theorems about relations current
19:3219:32, 27 December 2024 diff hist +55 Relation (mathematics) →Theorems about relations: clarify that R and S must have the same domain
19:3019:30, 27 December 2024 diff hist 0 Relation (mathematics) Undid revision 1265570301 by 2603:8081:8000:79F:A565:F807:B3C5:20BF (talk) Tag: Undo
10:5510:55, 27 December 2024 diff hist 0 Transitive relation Undid revision 1265448372 by 2804:7F0:B342:1533:7507:2A96:6408:AE96 (talk) current Tag: Undo
10:5410:54, 27 December 2024 diff hist +36 Monotonic function Undid revision 1265409998 by 99.152.247.74 (talk): better keep all names that are in use current Tag: Undo

19:1619:16, 26 December 2024 diff hist −34 Color vision →Further reading: now in side tab current
19:0619:06, 26 December 2024 diff hist −73 Binary operation Undid revision 1265378873 by 78.190.160.189 (talk): already present / not relevant current Tag: Undo
19:0419:04, 26 December 2024 diff hist −20 m Tree traversal Reverted 1 edit by 103.172.202.99 (talk) to last revision by ClueBot NG current Tags: Twinkle Undo
13:2313:23, 26 December 2024 diff hist +416 Boolean satisfiability problem Undid revision 1265188957 by Zzzs (talk): it is clearly an improvement Tag: Undo

18:2418:24, 24 December 2024 diff hist −28 Extensionality →See also: linked above
18:2318:23, 24 December 2024 diff hist +163 Extensionality →Extensionality principles: indicate kind of math. objects, where known
18:1818:18, 24 December 2024 diff hist +1 Extensionality →Example: fix example; change "town" to "village" so it is easier to imagine that only one Joe lives there
14:0014:00, 24 December 2024 diff hist −29 Context-free grammar No edit summary current Tag: Undo

11:3711:37, 23 December 2024 diff hist +16 Nested stack automaton →Example: re-insert "class=wikitable" (removed 6 Dec 2018), in order to clarify what are the symbols (some of them are composed of two charcters) current
11:1011:10, 23 December 2024 diff hist −4 Entscheidungsproblem Undid revision 1264673540 by HacksawPC (talk): already linked above current Tag: Undo

12:0612:06, 22 December 2024 diff hist −21 Equality (mathematics) →Axioms: "note that" should generally be avoided, per WP:NOTETHAT
11:4911:49, 22 December 2024 diff hist −7 Ordered pair →Defining the ordered pair using set theory: maybe, the year isn't needed here; WP:PUNCTREF
11:4811:48, 22 December 2024 diff hist +108 Ordered pair →Defining the ordered pair using set theory: fix citation (ext. link was dead)

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

13:4613:46, 19 December 2024 diff hist +454 Talk:Computational complexity of matrix multiplication →Feasible matrix multiplication, vs galactic algorithms: Reply current Tag: Reply
13:1813:18, 19 December 2024 diff hist −28 Turing machine →Formal definition: the name is defined right here, so we don't need a wikilink for it 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) 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

19:2719:27, 9 December 2024 diff hist +702 Talk:Kleene's algorithm →Kleene's theorem: Reply Tag: Reply
19:2519:25, 9 December 2024 diff hist +7 Arden's rule →Application

12:5212:52, 8 December 2024 diff hist +844 Talk:Equivalence class →Lp space: Reply 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

17:0917:09, 4 December 2024 diff hist +71 Negation →top

10:3810:38, 2 December 2024 diff hist −33 m Parsing Reverted 2 edits by 2806:10BE:7:DCAD:D8A8:E747:4D2E:A114 (talk) to last revision by Grayfell current Tags: Twinkle Undo
10:3810:38, 2 December 2024 diff hist −48 Variety (universal algebra) No edit summary Tag: Undo

16:5216:52, 30 November 2024 diff hist 0 Subtyping Undid revision 1260360580 by Arkticular-fox (talk): was right before current Tag: Undo

2 January 2025

27 December 2024

26 December 2024

24 December 2024

23 December 2024

22 December 2024

20 December 2024

19 December 2024

17 December 2024

16 December 2024

15 December 2024

11 December 2024

10 December 2024

9 December 2024

8 December 2024

7 December 2024

5 December 2024

4 December 2024

2 December 2024

30 November 2024