Jump to content

User contributions for Jochen Burghardt

Results for Jochen Burghardt talk block log uploads logs global block log global account filter log

A user with 23,592 edits. Account created on 18 August 2012.

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

10:1310:13, 13 November 2024 diff hist 0 Tuple Undid revision 1257090032 by 103.130.90.187 (talk) current Tag: Undo
10:1010:10, 13 November 2024 diff hist −81 Abductive reasoning undid 2 edits: both links are already present in the text current Tag: Undo

17:1617:16, 10 November 2024 diff hist −63 Gödel's ontological proof →See also: linked above current
09:5409:54, 10 November 2024 diff hist −25 Flash memory →top: avoid adjacent links current

16:2616:26, 9 November 2024 diff hist −57 Unification (computer science) Undid revision 1256306132 by Bbbaat (talk): moved this detail to Substitution_(logic)#First-order_logic current Tag: Undo
16:2516:25, 9 November 2024 diff hist +195 Substitution (logic) →First-order logic: moved from Unification_(computer_science)#Substitution to here current

22:1822:18, 8 November 2024 diff hist +281 Talk:Euclidean relation →Counter examples for properties 5, 7 and 8: Reply Tag: Reply
22:1422:14, 8 November 2024 diff hist −17 m Term algebra Reverted 1 edit by 71.167.215.193 (talk) to last revision by Jochen Burghardt current Tags: Twinkle Undo
22:0222:02, 8 November 2024 diff hist −270 Gödel's ontological proof →Translation of full argument: consistenly apply above changes; use "if" for definitions, not "iff"; suggest simpler transcriptions for Def 2+3; suggest to use quotes to indicate that "necessary existence" is just a (confusingly chosen) name, and needn't be related to modal operators (unless proved)
21:3721:37, 8 November 2024 diff hist −32 Gödel's ontological proof →Translation of individual symbols: per MOS:MATH#ANY; avoid introducing a constant for God before his existence has been proven; use indefn. article unless uniqueness is proven; uniquely omit periods in transcriptions

22:0322:03, 5 November 2024 diff hist +4 Cook–Levin theorem Undid revision 1255576619 by Darcourse (talk): USSR is history for >30 years now, so an explanatory link is neceded for younger readers, and necessity will increase over the years Tag: Undo

23:1323:13, 4 November 2024 diff hist −1,353 Fixed-point combinator incomprehensible (and unsourced) current Tag: Undo
10:2010:20, 4 November 2024 diff hist +81 m Tree (abstract data type) Reverted 1 edit by 2600:1014:B136:9DB3:0:11:501B:ED01 (talk) to last revision by WikiCleanerBot current Tags: Twinkle Undo

20:5020:50, 3 November 2024 diff hist +75 Talk:Context-free grammar →Misleading simplifications of the syntax of the C programming Language
20:4820:48, 3 November 2024 diff hist +206 Talk:Context-free grammar →Misleading simplifications of the syntax of the C programming Language: Reply Tag: Reply
20:2920:29, 3 November 2024 diff hist −212 Inverse function Undid revision 1255162931 by 178.138.98.223: this is distracting here; instead, consider adding a subsection on permutations in sect Examples current Tag: Undo
09:0909:09, 3 November 2024 diff hist +32 Partially ordered set →External links: inline commons cat link and establish its relevance; [[de:...] no longer needed
08:5508:55, 3 November 2024 diff hist −135 Boolean satisfiability problem Undid revision 1254833663 by Darcourse (talk): didn't understand: what is "a selection of literals"? why should it contain pairs? current Tag: Undo

22:2722:27, 1 November 2024 diff hist +2 Computational complexity of matrix multiplication →Matrix multiplication exponent: fix 6th author's surname
21:4021:40, 1 November 2024 diff hist +18 Function composition →Examples: fix DAB link current
21:3721:37, 1 November 2024 diff hist −77 Equation Undid revision 1254784578 by 178.138.99.60 (talk) Tag: Undo
21:3021:30, 1 November 2024 diff hist −2 m Local language (formal language) →Examples: rm NL current Tag: Manual revert
21:2921:29, 1 November 2024 diff hist +2 Local language (formal language) Undid revision 1254619766 by 2400:ADC3:11A:8C00:1134:BCD0:2CA6:7F3F (talk) Tags: Undo Reverted

11:5311:53, 30 October 2024 diff hist +690 Talk:Equivalence relation →undue: Reply current Tag: Reply

23:5523:55, 29 October 2024 diff hist +16 Joy Wolfram →top: commons img current
18:5518:55, 29 October 2024 diff hist +641 Talk:Equivalence relation →undue: new section Tag: New topic
18:4618:46, 29 October 2024 diff hist +23 Equivalence relation →Quotient set: undue weight
18:4418:44, 29 October 2024 diff hist −8 Equivalence relation →Related important definitions: per MOS:NOBOLD
18:4318:43, 29 October 2024 diff hist −31 Equivalence relation →Simple example: never heared "a partition w.r.t. R" before
18:3618:36, 29 October 2024 diff hist −17 Order of operations Undid revision 1254092086 by Rick Norwood (talk): we don't need "stacked" twice in the sentence Tag: Undo

21:2721:27, 28 October 2024 diff hist +54 Template:Binary relations Undid revision 1253909706 by 187.233.226.204 (talk): no justification given current Tag: Undo
12:5112:51, 28 October 2024 diff hist +817 Talk:Context-free grammar →Misleading simplifications of the syntax of the C programming Language: Reply Tag: Reply
10:5810:58, 28 October 2024 diff hist +146 John Ockendon →top: commons image current

22:0122:01, 24 October 2024 diff hist +426 Robert S. Boyer →top: add data from CV + Math geneal. current
21:3821:38, 24 October 2024 diff hist +12 Robert S. Boyer →External links: deadlink
21:2721:27, 24 October 2024 diff hist −110 Robert S. Boyer →External links: now in authctrl
15:3415:34, 24 October 2024 diff hist −676 Mathematical induction Undid revision 1253122982 by 2603:8080:1505:3CD4:C8D:3F87:7CB6:2F69: discuss on talk page, not in article itself; Euclidean_algorithm#Historical_development says "The algorithm was probably not discovered by Euclid" Tag: Undo
12:0212:02, 24 October 2024 diff hist −11 Theory of pure equality Undid revision 1253105469 by 128.176.164.7 (talk): not needed current Tag: Undo
10:1410:14, 24 October 2024 diff hist −41 Euclidean algorithm →External links: now in side tab

09:1509:15, 23 October 2024 diff hist +410 Talk:Solomonoff's theory of inductive inference →Recent edit in lead section: new section current Tag: New topic
08:4408:44, 23 October 2024 diff hist −48 Bijection, injection and surjection →top: rm stray "such that" from formulas; "that is" still belongs to definition
08:4008:40, 23 October 2024 diff hist +118 Bijection, injection and surjection undid 2 edits: order in quantifier prefix is essential - keep both formulas Tag: Undo

19:5719:57, 21 October 2024 diff hist +868 Talk:Context-free grammar →Misleading simplifications of the syntax of the C programming Language: Preliminary reply Tag: Reply

06:4406:44, 20 October 2024 diff hist +251 Gödel's ontological proof Undid revision 1252089725 by NOT AFK (talk): couldn't understand justification in edit summary Tag: Undo

20:5120:51, 18 October 2024 diff hist +1,683 Talk:Equality (mathematics) →Congruence relation?: Reply: evidence for use of "substitutive" current Tag: Reply
11:1911:19, 18 October 2024 diff hist +3,307 Talk:Equality (mathematics) →Congruence relation?: new section Tag: New topic

19:2319:23, 17 October 2024 diff hist 0 m Relation (mathematics) →Representation of relations: typo
19:0919:09, 17 October 2024 diff hist −47 Binary relation →External links: now in side tab
18:2718:27, 17 October 2024 diff hist +55 Van der Woude →top: Hatte current
18:0918:09, 17 October 2024 diff hist −53 Otfrid Mittmann →References: now in sidetab

Retrieved from "https://en.wikipedia.org/wiki/Special:Contributions/Jochen_Burghardt"