Jump to content
 







Main menu
   


Navigation  



Main page
Contents
Current events
Random article
About Wikipedia
Contact us
Donate
 




Contribute  



Help
Learn to edit
Community portal
Recent changes
Upload file
 




Languages  












Search  

































Create account

Log in
 









Create account
 Log in
 




Pages for logged out editors learn more  



Contributions
Talk
 

















User contributions for Jochen Burghardt



Help
 
































Tools
   


Actions  







General  



Atom
User contributions
User logs
View user groups
Upload file
Special pages
Printable version
Get shortened URL
Download QR code
 
















Appearance
   

 





For Jochen Burghardt talk block log uploads logs global account filter log
A user with 23,294 edits. Account created on 18 August 2012.

Search for contributionsshowhide
⧼contribs-top⧽
⧼contribs-date⧽
(newest | oldest) View (newer 50 | ) (20 | 50| 100 | 250 | 500)

4 July 2024


08:2508:25, 4 July 2024 diff hist −38  Inverse function  Undid revision 1232442822byScienceD90 (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 1232299403byCedar101 (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 1231494965byTimmileyin (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 1231446523byAlien333 (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 1230818360byRuiQi (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 AB 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) current

15 June 2024


18:1218:12, 15 June 2024 diff hist +59  Linear programming  Input sparsity time algorithms: introduce \tilde O before use

14:5414:54, 15 June 2024 diff hist +2  Limit of a function  Gillman's definition: copyedit Tag: Reverted

14:4414:44, 15 June 2024 diff hist −55  Relation (mathematics)  Undid revision 1228878751by217.194.186.27 (talk): this beginner's-level article doesn't define Dom(R) current Tag: Undo

14:3014:30, 15 June 2024 diff hist −116  NP-completeness  Undid revision 1228744928byOnceinawhile (talk): this article (and particularly its lead) aims at non-expert readers, so it avoids introducing concepts that aren't strictly neccessary for a first understanding Tags: Undo Reverted

12 June 2024


18:0118:01, 12 June 2024 diff hist −46  Induction of regular languages  See also: linked above current

18:0018:00, 12 June 2024 diff hist −29  Deterministic finite automaton  Undid revision 1228690621byGal Meirom (talk): linked above Tag: Undo

09:0609:06, 12 June 2024 diff hist −78  Cantor's paradise  top: experimental: show facsimile

11 June 2024


17:3917:39, 11 June 2024 diff hist +114  Dependence relation  top: mention monotonicity in rg arg current

9 June 2024


12:0112:01, 9 June 2024 diff hist +99  Computational learning theory  Undid revision 1228055946byBen Standeven (talk): no, it can serve as introductory sentence (although a better one might be devised) for the following subsections current Tag: Undo

06:5006:50, 9 June 2024 diff hist −24  Almost surely  Undid revision 1228042519byIrisChronomia (talk): specialized article linked immediately before Tag: Undo

06:4806:48, 9 June 2024 diff hist −4  Almost surely  Undid revision 1228041369byIrisChronomia (talk): already linked above Tag: Undo

8 June 2024


21:3721:37, 8 June 2024 diff hist −55  NP-completeness  Undid revision 1227949542by1234qwer1234qwer4 (talk): per WP:EASTEREGG Tag: Undo

6 June 2024


07:5407:54, 6 June 2024 diff hist +332  0  Computer science: add Unix ref

5 June 2024


18:2018:20, 5 June 2024 diff hist −31  George S. Bullerjahn  top: per MOS:INFONAT

18:1118:11, 5 June 2024 diff hist +198  Function (mathematics)  Undid revision 1227431107byPichpich (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 1227264046byA3nm (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 1227260550byCaleb 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


(newest | oldest) View (newer 50 | ) (20 | 50| 100 | 250 | 500)



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







Privacy policy

About Wikipedia

Disclaimers

Contact Wikipedia

Code of Conduct

Developers

Statistics

Cookie statement

Mobile view



Wikimedia Foundation
Powered by MediaWiki