User contributions for Jochen Burghardt
Appearance
A user with 23,314 edits. Account created on 18 August 2012.
19 July 2024
- 10:2410:24, 19 July 2024 diff hist −136 Consistency →top: rm plainly wrong sentence (negation missing?); refer to consistency rather than a particular consistent theory
18 July 2024
- 06:2506:25, 18 July 2024 diff hist +186 Talk:Binary relation →Template: Reply current Tag: Reply
- 06:2206:22, 18 July 2024 diff hist −5 Disjunctive normal form Undid revision 1235213426 by 2A02:C7C:E28B:D000:D807:1AF7:973:5CCD (talk) current Tag: Undo
17 July 2024
- 18:2118:21, 17 July 2024 diff hist +41 Busy beaver →Relationships between functions: more informative header; separate text-paren.s from formula-paren.s
16 July 2024
- 16:3616:36, 16 July 2024 diff hist −34 m Regular expression Reverted 1 edit by 666-Bandera Mouse (talk) to last revision by Citation bot current Tags: Twinkle Undo
- 16:3516:35, 16 July 2024 diff hist −34 Deterministic finite automaton Undid revision 1234809701 by 666-Bandera Mouse (talk) current Tag: Undo
- 16:3516:35, 16 July 2024 diff hist −34 Binary decision diagram Undid revision 1234808177 by 666-Bandera Mouse (talk) current Tag: Undo
- 16:3416:34, 16 July 2024 diff hist −68 Simplification Undid revision 1234797355 by Ainembabazishefrah (talk): DAB pages don't have images current Tag: Undo
15 July 2024
- 06:3906:39, 15 July 2024 diff hist −382 Function (mathematics) Undid revision 1234558262 by Alsosaid1987 (talk): per WP:BRD Tag: Undo
14 July 2024
- 06:5506:55, 14 July 2024 diff hist −67 Connected relation Undid revision 1234333402 by 45.251.58.65 (talk) current Tag: Undo
- 06:5406:54, 14 July 2024 diff hist −42 Idempotence Undid revision 1234262421 by MAThardi (talk): couldn't find the theorem in the paper Tag: Undo
- 06:4806:48, 14 July 2024 diff hist −22 Turing machine Partly undid revision 1234281240 by Hooman Mallahzadeh (talk): achieve NDFA-->NFA without introducing WP:EASTEREGG
- 06:4306:43, 14 July 2024 diff hist −2 Pushdown automaton Undid revision 1234278984 by Matthew V. Milone (talk): several is correct current Tag: Undo
13 July 2024
- 06:3106:31, 13 July 2024 diff hist +11 Formal language →top: Chomsky chose the sentence such that no two adjacent words would occur together in a usual utterance (not quite sure whether "thoroughly" adequatly expresses this; help by a native English speaker is welcome) current
12 July 2024
- 20:0820:08, 12 July 2024 diff hist −31 Proof by contradiction Undid revision 1234128938 by Davidichek (talk): cat. is about (philosophy of) natural sciences, while article is about formal/mathematical logic Tag: Undo
- 10:4810:48, 12 July 2024 diff hist −32 Vagueness →See also: this is quite a different phenomenon, imo (vagueness is about fuzzy set boundaries, homogeneity is about overly coarse equivalence relations) current
- 10:4310:43, 12 July 2024 diff hist +4 Tree (data structure) No edit summary current Tag: Undo
- 10:4010:40, 12 July 2024 diff hist +6 Ambiguous grammar Undid revision 1233790341 by 2A02:908:164:42E0:0:0:0:6E6F: only context-free grammars admit parse-trees current Tag: Undo
10 July 2024
- 20:3020:30, 10 July 2024 diff hist −41 Open formula →See also: linked above current
- 20:2920:29, 10 July 2024 diff hist −50 Halting problem Undid revision 1233424351 by Stevei (talk): wikilinks only, in this section current Tag: Undo
4 July 2024
- 08:2508:25, 4 July 2024 diff hist −38 Inverse function Undid revision 1232442822 by ScienceD90 (talk): is explained more precisely in the linked article current Tag: Undo
3 July 2024
- 09:1509:15, 3 July 2024 diff hist −9 Set (mathematics) Undid revision 1232299403 by Cedar101 (talk): doesn't the mset template include an outermost (equivalent of the) math template? current Tag: Undo
30 June 2024
- 07:4407:44, 30 June 2024 diff hist −171 Kolmogorov complexity →top: first two ref.s describe identical paper - joining them into one current
- 07:2607:26, 30 June 2024 diff hist +9 Boolean satisfiability problem →Disjunctive normal form: "for example" shouldn't be followed by an instruction
29 June 2024
- 07:2907:29, 29 June 2024 diff hist −260 Gödel's ontological proof Undid revision 1231494965 by Timmileyin (talk): a particular reference (to Sobel's 2005 paper) is requested here, while the SEP article doesn't mention Sobel at all Tag: Undo
28 June 2024
- 14:5814:58, 28 June 2024 diff hist +91 Maximum subarray problem Undid revision 1231446523 by Alien333 (talk): some expert should fix the inline tags "citation needed" Tag: Undo
- 14:4914:49, 28 June 2024 diff hist +1 Matrix multiplication →Abstract algebra: fix typo current
27 June 2024
- 03:5603:56, 27 June 2024 diff hist +10 Cairo pentagonal tiling →Applications: crop 1st image, too Tag: Reverted
- 03:5303:53, 27 June 2024 diff hist +11 Cairo pentagonal tiling →Applications: increase widths Tag: Reverted
- 03:4903:49, 27 June 2024 diff hist +7 Cairo pentagonal tiling →Applications: cropped to focus on tiling (2x) Tag: Reverted
25 June 2024
- 05:2805:28, 25 June 2024 diff hist −28 Equation Undid revision 1230818360 by RuiQi (talk) current Tag: Undo
24 June 2024
- 16:5416:54, 24 June 2024 diff hist −3 Pointwise →Pointwise relations: clarify: the "iff" (should be "if" per MOS:MATH#DEFSYMBOL) refers to the definition, not to some necc. and suff. condition for A→B being orderable current
23 June 2024
- 09:4209:42, 23 June 2024 diff hist +62 Primitive recursive function →Other operations on natural numbers: <math> current
- 09:3809:38, 23 June 2024 diff hist +46 Primitive recursive function →Converting predicates to numeric functions: fix remaining
- 09:3709:37, 23 June 2024 diff hist +60 Primitive recursive function →Converting predicates to numeric functions: <math> again
- 09:3209:32, 23 June 2024 diff hist +210 Primitive recursive function →Examples: Barendregt defines just C_0^1 (called Z there)
- 09:1409:14, 23 June 2024 diff hist +548 Primitive recursive function →Examples: hint at simplified def
- 09:0109:01, 23 June 2024 diff hist +48 Primitive recursive function →Definition: uniquely use <math> in this section ; rm
- 08:5208:52, 23 June 2024 diff hist +103 Primitive recursive function →Definition: separate source code of cases ; function composition as a special case
- 08:4608:46, 23 June 2024 diff hist +1 Primitive recursive function →Definition
- 08:4008:40, 23 June 2024 diff hist −194 Primitive recursive function →Limitations: uniquely use <math> in this section
- 08:3008:30, 23 June 2024 diff hist +5 Primitive recursive function →Definition: uniquely use <math> in this section
- 07:5507:55, 23 June 2024 diff hist −13 Hilbert's program →See also: unrelated current
20 June 2024
- 19:3119:31, 20 June 2024 diff hist +79 Unitary method →top: suggest illustration current
- 09:1209:12, 20 June 2024 diff hist +21 Cross-multiplication →See also: Unitary method
- 09:1209:12, 20 June 2024 diff hist +41 Unitary method →See also: Cross-multiplication (maybe, both articles should even be merged?)
19 June 2024
- 05:0005:00, 19 June 2024 diff hist +549 Talk:First-order logic →If-then-else: Reply current Tag: Reply
17 June 2024
- 21:5221:52, 17 June 2024 diff hist +8 Talk:Proof by contradiction →Contradiction vs negation: treading carefully…: close <small>
16 June 2024
- 11:2411:24, 16 June 2024 diff hist +4 Block design →References: fix 2 redlinks current
- 10:3710:37, 16 June 2024 diff hist +42 Equality (mathematics) →Basic properties: provide link to proof, including PM citation (better one still needed, and requested there)