User contributions for Jochen Burghardt
A user with 23,253 edits. Account created on 18 August 2012.
8 June 2024
- 21:3721:37, 8 June 2024 diff hist −55 NP-completeness Undid revision 1227949542 by 1234qwer1234qwer4 (talk): per WP:EASTEREGG current Tag: Undo
6 June 2024
- 07:5407:54, 6 June 2024 diff hist +332 0 →Computer science: add Unix ref current
5 June 2024
- 18:2018:20, 5 June 2024 diff hist −31 George S. Bullerjahn →top: per MOS:INFONAT current
- 18:1118:11, 5 June 2024 diff hist +198 Function (mathematics) Undid revision 1227431107 by Pichpich (talk): couldn't access 1970 EN edition; my 1976 DE translation doesn't mention synonyms at all; the google link leads to a 1998 edition (and refuses to display its p.30); so I challenge "literally what the source says", for now Tags: Undo Reverted
- 17:5517:55, 5 June 2024 diff hist 0 DFA minimization Partly undid revision 1227264046 by A3nm (talk); keep jpg version until arc labels c--1-->f and d--0-->e are in the right place in the svg version, too current
- 17:4817:48, 5 June 2024 diff hist +337 Talk:Substitution (logic) →False claim about idempotence: Reply Tag: Reply
- 17:4317:43, 5 June 2024 diff hist +66 Substitution (logic) →First-order logic: the restriction xi != ti indeed has to be stated (and is required by the cited authors), cf. talk; fix circumscription of "dom(sigma) disjoint to vars(ran(sigma))" current
- 17:2717:27, 5 June 2024 diff hist +12 Substitution (logic) Undid revision 1227260550 by Caleb Stanford (talk): "iff" is well-sourced (e.g. Baader.Snyder, p.446, line 6-7) Tag: Undo
- 17:1917:19, 5 June 2024 diff hist +6 Context-free grammar →Language disjointness: introduce abbrev. "PCP" before use current
- 17:0517:05, 5 June 2024 diff hist +121 Computable function →Relation to recursively defined functions: fix typo; trying to fix imprecise sentences about the use of well-orderings current
- 16:5116:51, 5 June 2024 diff hist +3 Rewrite order avoid "can't", needn't" current
- 16:4516:45, 5 June 2024 diff hist −54 Rewrite order →Motivation: the notion of term (logic) is indispensible in this article, so drop the redundant (beginner's level) notion expression (mathematics) here
- 16:3816:38, 5 June 2024 diff hist +18 Rewrite order →Motivation: refer to rule set again
- 16:3716:37, 5 June 2024 diff hist +17 Rewrite order →Motivation: wikilink
2 June 2024
- 17:4617:46, 2 June 2024 diff hist +197 Talk:Greatest element and least element →Add mention to well-ordering: Reply current Tag: Reply
- 17:4517:45, 2 June 2024 diff hist +94 Greatest element and least element →See also: cf. talk current
- 17:3917:39, 2 June 2024 diff hist +351 Talk:Modal logic →Euclidean =/= Transitive: Reply current Tag: Reply
31 May 2024
- 03:4903:49, 31 May 2024 diff hist +4 Ordered pair →Axiomatic definition: separate the two example theorems current
30 May 2024
- 14:1514:15, 30 May 2024 diff hist −15 Transitive relation Undid revision 1226387110 by 141.76.29.166 (talk): former name is more popular, afaik current Tag: Undo
- 06:5506:55, 30 May 2024 diff hist +56 Draft:Dhiya Al-Jumeily →top: "Iranian-born" vs "born in Iraq" current
- 06:4906:49, 30 May 2024 diff hist −50 C (programming language) →top: 175.100.12.169 had a point: we needn't link both General-purpose programming language and Programming language; joining the links to a single linktext
29 May 2024
- 15:0815:08, 29 May 2024 diff hist −3 Halting problem Undid revision 1226229093 by 218.248.13.196 (talk) Tag: Undo
- 15:0515:05, 29 May 2024 diff hist 0 Deterministic pushdown automaton →Closure: per MOS:PUNCTREF
- 06:4206:42, 29 May 2024 diff hist +13 Order embedding Partly undid revision 1226190349 by BalinKingOfMoria (talk): keep ref. to pic. current
28 May 2024
- 04:4604:46, 28 May 2024 diff hist +46 Partial function Undid revision 1226028343 by Harry585 (talk): no, f is called a partial function from X to Y current Tag: Undo
- 04:3704:37, 28 May 2024 diff hist −2 Context-sensitive language →Computational properties: rm stray blank chars current
27 May 2024
- 13:2013:20, 27 May 2024 diff hist +128 Brouwer–Heyting–Kolmogorov interpretation →The interpretation
- 13:1813:18, 27 May 2024 diff hist +204 Proof by contradiction →Proof by contradiction in intuitionistic logic: challenge condition (independent of being a quote or not)
- 07:1507:15, 27 May 2024 diff hist +60 Arg max Undid revision 1225864461 by Cedar101 (talk) current Tag: Undo
26 May 2024
- 20:3620:36, 26 May 2024 diff hist −1 Inequation Undid revision 1225793586 by 2409:40E4:2046:2A2F:9C58:A6E4:2BD4:7102 (talk) current Tag: Undo
24 May 2024
- 20:3320:33, 24 May 2024 diff hist +124 Cardinality →Definition of cardinality in class theory (NBG or MK): wikilink NBG, MK; avoid "Note"; use <math> everywhere current
- 20:2420:24, 24 May 2024 diff hist −39 Cantor's diagonal argument →top: I guess the reason for having redirected names in boldface is that they should be visible at first glance, so moving them into a footnote is not a good idea Tag: Reverted
23 May 2024
- 11:4911:49, 23 May 2024 diff hist +47 Braunbuch →top: exact publication day
- 11:4611:46, 23 May 2024 diff hist −1 Braunbuch →top: Norden was editor, cf. Fn.3
- 11:4311:43, 23 May 2024 diff hist +95 Braunbuch →top: fix language; convert to ((cite)), add lang.
- 11:3911:39, 23 May 2024 diff hist −496 Braunbuch →External links: ... delete them here
- 11:3911:39, 23 May 2024 diff hist +573 Braunbuch →top: inline External links here ...
- 11:1911:19, 23 May 2024 diff hist +16 Braunbuch →top: page needed
- 11:1811:18, 23 May 2024 diff hist +4 Braunbuch →top: fix typo; wikilink
- 11:1711:17, 23 May 2024 diff hist +274 Braunbuch →top: back up Greek reference by German one from DE article
- 11:0611:06, 23 May 2024 diff hist −214 Braunbuch removed section →Bibliography: : Braunbuch edition years are misleading (pre-first edition in 1960?!), and should be fixed e.g. from the German article; Kappelt is already cited in Fn.4
- 04:1304:13, 23 May 2024 diff hist +174 Talk:Cantor's diagonal argument →Proposed disproof: Reply current Tag: Reply
- 04:0504:05, 23 May 2024 diff hist +6 GCD matrix →Matrix norms
- 04:0404:04, 23 May 2024 diff hist +5 Ordinal number →top: replace by version with better contrast, see talk current
22 May 2024
- 14:4314:43, 22 May 2024 diff hist +2,374 Talk:Truth table New section: Truth tables outside of classical logics current
- 09:5009:50, 22 May 2024 diff hist −10 First-order logic Undid revision 1225092232 by 195.133.151.210: better keep the more general example (formulas needn't be closed) current Tag: Undo
- 08:1208:12, 22 May 2024 diff hist +2 Lambda calculus Undid revision 1225072799 by Abatishchev (talk) Tag: Undo
- 08:0608:06, 22 May 2024 diff hist +246 Talk:Cantor's diagonal argument →Proposed disproof: Reply Tag: Reply
21 May 2024
- 04:4404:44, 21 May 2024 diff hist +21 Computable function Undid revision 1224829018 by Nuretok (talk): the simpler form might be misread as "any currently known algorithms" Tag: Undo
20 May 2024
- 17:1017:10, 20 May 2024 diff hist +124 Peano axioms →Multiplication: suggest to link own proof sheet (feel free to revert due to self-promotion)