User contributions for Jochen Burghardt
A user with 23,239 edits. Account created on 18 August 2012.
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 current
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) current 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)
- 17:0017:00, 20 May 2024 diff hist −105 Peano axioms →Multiplication: fix {{clarify}}
- 16:5816:58, 20 May 2024 diff hist +220 Peano axioms →Addition: indicate + commutativity proof
- 06:1006:10, 20 May 2024 diff hist +9 Gödel's completeness theorem Undid revision 1224669949 by A bag of many boiled potatoes (talk) current Tag: Undo
19 May 2024
- 07:5107:51, 19 May 2024 diff hist +566 Talk:Ordinal number →Get rid of pictures, or replace them: Reply Tag: Reply
- 06:0306:03, 19 May 2024 diff hist +36 John Stanton Gould →top: separated head and signature
- 05:5705:57, 19 May 2024 diff hist −4 John Stanton Gould →top: rm extra markup
18 May 2024
16 May 2024
- 05:2005:20, 16 May 2024 diff hist +551 Talk:Cantor's diagonal argument →Cantor proved this for reals in [0,1]--for a reason
- 05:0205:02, 16 May 2024 diff hist −5 Binary relation →Fringe of a relation: replace "a" (suggesting there may be several) by "the" (suggesting uniqueness, given R)
14 May 2024
- 06:4406:44, 14 May 2024 diff hist +13 Compressorium →top: fix typo; hint to image current
- 06:4106:41, 14 May 2024 diff hist −9 Compressorium →top: rm extra text
- 06:4006:40, 14 May 2024 diff hist +96 Compressorium →top: suggest image
13 May 2024
- 18:0318:03, 13 May 2024 diff hist +770 Talk:String (computer science) →Distinct, unambiguous symbols: new section current Tag: New topic
- 17:1817:18, 13 May 2024 diff hist −1 Binary relation →Examples: rm leftover apostroph
12 May 2024
- 05:1005:10, 12 May 2024 diff hist −8 Inequality (mathematics) Undid revision 1223325817 by 86.145.58.172 (talk): in the exponent, \frac notation is hard to read Tag: Undo
10 May 2024
- 04:5404:54, 10 May 2024 diff hist +305 Talk:Material conditional →less or equal: Reply Tag: Reply
- 04:3104:31, 10 May 2024 diff hist −9 Turing machine Undid revision 1223102554 by 79.87.167.154 (talk) Tag: Undo
9 May 2024
- 13:5913:59, 9 May 2024 diff hist +37 Many-sorted logic →Order-sorted logic: Ph.D. thesis Kaiserslautern current
8 May 2024
- 13:3313:33, 8 May 2024 diff hist +62 Solomonoff's theory of inductive inference Undid revision 1222515356 by 174.212.224.122 (talk) current Tag: Undo
5 May 2024
- 15:1515:15, 5 May 2024 diff hist +5 C (programming language) Undid revision 1222278050 by VeryEngineer (talk): unless assured otherwise by a reliable source, I assume creation of C took several years Tag: Undo
- 15:0515:05, 5 May 2024 diff hist +37 Maximal and minimal elements →Greatest and smallest elements: smallest-->least, to match the naming at Greatest and least elements; wikilink the latter current
2 May 2024
- 05:3605:36, 2 May 2024 diff hist −7 Horn clause rm "Note that" (2x) current
1 May 2024
- 22:0222:02, 1 May 2024 diff hist +12 Bijection, injection and surjection →top: deadlink
- 17:1017:10, 1 May 2024 diff hist +4 m Local language (formal language) Reverted 1 edit by 154.81.247.102 (talk) to last revision by Nomoteretes current Tags: Twinkle Undo
- 17:0717:07, 1 May 2024 diff hist +1,377 Binary relation undid 2 edits: please do explain your intention before - why did you remove the references for the synonyms, etc. Tag: Undo
30 April 2024
- 07:4107:41, 30 April 2024 diff hist +1,432 Binary relation Undid revision 1221487854 by Maggyero (talk): don't remove synonyms without prior discussion Tag: Undo
- 07:2807:28, 30 April 2024 diff hist −233 Quantifier (logic) Undid revision 1221439476 by アマンドロス (talk): couldn't find such an article Tag: Undo
29 April 2024
- 11:4111:41, 29 April 2024 diff hist +615 Talk:Horn clause →What the heck is a fact?: Reply current Tag: Reply
- 11:0911:09, 29 April 2024 diff hist +464 User talk:Jochen Burghardt →your revert [https://en.wikipedia.org/w/index.php?title=Deterministic_finite_automaton&oldid=prev&diff=1221177065] current
28 April 2024
- 10:1710:17, 28 April 2024 diff hist −16 Set (mathematics) →See also: rm another one
- 10:1610:16, 28 April 2024 diff hist −35 Set (mathematics) →See also: rm particular sets (in topology and model theory), we certainly can't list them all
- 10:1310:13, 28 April 2024 diff hist −15 Set (mathematics) →See also: now mentioned above
- 10:1310:13, 28 April 2024 diff hist +467 Set (mathematics) →Naive set theory: suggest to relate to multisets and tuples, cf. talk
- 09:4809:48, 28 April 2024 diff hist −4 Deterministic finite automaton Undid revision 1221071763 by Kku (talk): link referred to chemistry, not computer-science, meaning Tag: Undo
27 April 2024
- 13:2513:25, 27 April 2024 diff hist −22 Context-free grammar Undid revision 1221013999 by Hooman Mallahzadeh (talk): "context" has a restricted technical meaning her, link wasn't adequatee Tag: Undo
25 April 2024
- 06:5406:54, 25 April 2024 diff hist +109 Word problem for groups →top: avoid "you" ; shouldn't inverses be allowed in words, too? ; the solution is the (existence of a) decision algorithm
- 06:3906:39, 25 April 2024 diff hist −142 Word problem for groups Undid revision 1220567399 by Uscitizenjason (talk): introduced unencyclopedic style (e.g. context first), and grammar errors Tag: Undo
23 April 2024
- 19:4919:49, 23 April 2024 diff hist +10 Truth table →Alternating method: use <sup>
20 April 2024
- 21:3721:37, 20 April 2024 diff hist +228 Talk:Transfinite number →Algunos de esos números transfinitos: EN translation from deepl.com current
- 17:0717:07, 20 April 2024 diff hist +237 Template talk:Transformation rules →Title link: Reply current Tag: Reply
18 April 2024
- 06:0406:04, 18 April 2024 diff hist −21 Ordered pair →Kuratowski's definition: rm "note" (2x)
- 05:4605:46, 18 April 2024 diff hist +8 Modal logic →Further applications: don't suggest that a god's existence can be proven mathematically
17 April 2024
- 19:0419:04, 17 April 2024 diff hist +38 Pushdown automaton Undid revision 1219417982 by 2A01:CB04:CD0:B900:4777:70FD:93F3:F502 (talk) Tag: Undo
16 April 2024
- 19:4719:47, 16 April 2024 diff hist +21 Harish-Chandra →top: commons img current
- 07:4207:42, 16 April 2024 diff hist +13 Tree (data structure) undid 2 edits: the exception should be given in the same sentence Tag: Undo
15 April 2024
- 18:4018:40, 15 April 2024 diff hist +1 Functional completeness →top: typo
14 April 2024
- 13:2013:20, 14 April 2024 diff hist −8 Preorder →top: the relation is an order, not an ordered set
- 13:1213:12, 14 April 2024 diff hist −4 GCD matrix →Divisibility: rm stray NL
13 April 2024
- 15:2315:23, 13 April 2024 diff hist −2 Image (mathematics) →top: rm extra NL
- 15:2215:22, 13 April 2024 diff hist +147 Talk:Image (mathematics) →Lead: Reply current Tag: Reply
- 15:2115:21, 13 April 2024 diff hist +371 Image (mathematics) →top: trying to implement suggestion from talk (introducing a lot of formal notation; no idea how to avoid that)
- 14:3214:32, 13 April 2024 diff hist −48 m Parsing Reverted 1 edit by 67.83.198.28 (talk) to last revision by David Eppstein Tags: Twinkle Undo