User contributions for Jochen Burghardt
A user with 23,184 edits. Account created on 18 August 2012.
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
Undo
- 15:0515:05, 5 May 2024
diff hist +37
Maximal and minimal elements
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
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.
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
Undo
- 07:2807:28, 30 April 2024
diff hist −233
Quantifier (logic)
Undid revision 1221439476 by アマンドロス (talk): couldn't find such an article
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
current
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
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
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) current
- 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)
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
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 current
- 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
Undo
12 April 2024
- 05:3405:34, 12 April 2024 diff hist +536 Talk:Image (mathematics) →Lead: new section Tag: New topic
11 April 2024
- 18:5818:58, 11 April 2024
diff hist −55
Image (mathematics)
Undid revision 1218423675 by Epachamo (talk): there is no preimage as such, but only a preimage of some subset of Y; the preimage of Y itself is always X; a variant of the picture with the right and left yellow oval labelled "B" and "f^{-1}[B]", respectively, could be useful
UndoReverted
- 12:3212:32, 11 April 2024
diff hist −133
Function (mathematics)
Undid revision 1218315355 by Cremastra (talk): there is nothing broken or red in the shorter version (might have been a temporary error of Wikipedia?)
Undo
10 April 2024
- 09:4309:43, 10 April 2024 diff hist +68 Truth table →top: suggest to warn about intuitionistic and related logics, which are not clearly 2-valued (citations welcome)
- 09:3009:30, 10 April 2024 diff hist +214 Lambda calculus →Reduction strategies: example for applicative vs. normal order
- 09:1209:12, 10 April 2024
diff hist −1,339
Monty Hall problem
Undid revision 1218182809 by 2600:1012:A13E:F573:5431:BF73:B3E7:8CE0 : unsourced
Undo
- 09:1009:10, 10 April 2024
diff hist +10
Matrix multiplication
undid 2 edits: why should the final "\\" be removed?
Undo
- 09:0609:06, 10 April 2024
diff hist −2
Inequality (mathematics)
Undid revision 1218138187 by Fgnievinski (talk): only part of the section can be moved up, while the rest is restricted to ineqn.s wrt. real numbers
current
Undo
- 08:5508:55, 10 April 2024
diff hist −26
Partial function
Undid revision 1218034213 by Defiect (talk): was right before
Undo
- 08:5308:53, 10 April 2024 diff hist +425 Talk:Inequality (mathematics) →Renderization of "not greater than" symbol: Sorry Tags: Reverted Reply
9 April 2024
- 06:5406:54, 9 April 2024 diff hist +6 Gödel's ontological proof partly undid revision 1217987303 by 119.236.155.117: I guess each criticism is perfectly focused
- 06:4706:47, 9 April 2024
diff hist −54
Inequality (mathematics)
Undid revision 1217898246 by Fgnievinski (talk): looks quite the same to a reader who isn't interested in markup source code
UndoReverted
6 April 2024
- 17:0217:02, 6 April 2024 diff hist +91 Type III →Other uses: Chomsky hierachy type-3 language current
- 17:0017:00, 6 April 2024 diff hist +65 Context-free language →top: mention alias "Chomsky type-2"
- 16:5816:58, 6 April 2024 diff hist +72 Type 2 →top: more specific link, brief explanation current
- 16:5616:56, 6 April 2024 diff hist +101 Type 1 →Other uses: Chomsky hierachy type-1 language current
- 16:5116:51, 6 April 2024
diff hist −471
Material conditional
WP:POVpart of recent addition