User contributions for Dirsaka

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

16:5716:57, 22 February 2024 diff hist −762 Original proof of Gödel's completeness theorem I had removed the 3 sentences, 2 in parentheses, that I just removed again, on 2024-1-6, pointing out that they were not in any of the 3 versions of the completeness theorem proof authored by Gӧdel (https://archive.org/details/KurtGdelCollectedWorksVolumeIII1995/Kurt_Gödel_Collected_Works _Volume_III_1995/), and are obviously untrue to boot. I don't want to get into an edit war with that edit's reverter, Germanomosconi1, so may not continue to revert his changes. Tags: Manual revert Reverted Visual edit

13:0613:06, 9 January 2024 diff hist −1,243 User talk:Dirsaka →Your draft article, User:Dirsaka/sandbox: This was an obsolete sandbox (content) deletion notice. current
13:0413:04, 9 January 2024 diff hist −1,205 User talk:Dirsaka →Your draft article, User:Dirsaka/sandbox: This was an obsolete sandbox deletion notice.
13:0113:01, 9 January 2024 diff hist −776 User talk:Dirsaka →Concern regarding User:Dirsaka/sandbox: This was an obsolete bot-delivered sandbox deletion notice.
12:5912:59, 9 January 2024 diff hist −4,658 User talk:Dirsaka →Your submission at Articles for creation: sandbox (January 21): My comment was mistakenly submitted as an article, so this notice about its rejection as an article was superfluous.

04:5604:56, 8 January 2024 diff hist 372 Wikipedia talk:WikiProject Mathematics →Original proof of Gödel's completeness theorem: I added a link to my article explaining what I say is the error in Gӧdel's claimed proof of his completeness theorem.

08:2008:20, 6 January 2024 diff hist −762 Original proof of Gödel's completeness theorem Yesterday, 2024-1-5, I made two edits to this article. The second, reinserting my comment, contained a very small amount of original research, so its removal the same day may have been justified by Wikipedia's rules. The first, which I repeated today since it was reverted with the first, was removal of three sentences which don't exist in any of the three original versions of this Gӧdel proof (and in addition are grossly incorrect). Tags: Reverted Visual edit

18:3718:37, 5 January 2024 diff hist 2,628 Original proof of Gödel's completeness theorem I reinserted, just before the section "Proving the theorem for formulas of degree 1", my comment on the invalidity of the proof so far, due to a major error in the induction argument, which comment was last in the article 2023-8-2, when Germanomosconi1 deleted it. ~~~~ Tags: Reverted Visual edit
17:2917:29, 5 January 2024 diff hist −761 Original proof of Gödel's completeness theorem I deleted one regular font sentence and the following two italicized sentences in parentheses just before "In this particular case" in the section headed "Reducing the theorem to formulas of degree 1" both because they are not in any of the three original versions of the Completeness theorem proof written by Gӧdel, and because they are ludicrously incorrect. ~~~~ Tags: Reverted Visual edit

22:3322:33, 24 August 2023 diff hist 155 Talk:Original proof of Gödel's completeness theorem Added "the bottom of" and a link to Germanosconi1's Talk page

10:2110:21, 8 August 2023 diff hist 184 Talk:Original proof of Gödel's completeness theorem →Reply to Germanomosconi1: Specified the meaning of "permissible"

18:4018:40, 6 August 2023 diff hist 751 Talk:Original proof of Gödel's completeness theorem →Reply to Germanomosconi1: new section Tag: New topic

19:3219:32, 3 August 2023 diff hist 2,043 User talk:Germanomosconi1 →Reply to Germanomosconi1: new section Tag: New topic

14:0914:09, 2 August 2023 diff hist 319 User talk:Germanomosconi1 →Reply to Germanomosconi1 4: Reply Tag: Reply
12:5112:51, 2 August 2023 diff hist 165 User talk:Germanomosconi1 →Reply to Germanomosconi1 4: Reply Tag: Reply
12:1012:10, 2 August 2023 diff hist 2,690 Original proof of Gödel's completeness theorem Undid revision 1167315267 by Germanomosconi1 (talk) Germanomosconi1 stated, on his Talk page, the Hilbert functional substitution rule, which he claims justifies the articles induction step from the completeness theorem being true for formulas of degree k to being true for those of degree k 1, which my deleted comment criticizes. I explained to him why the Hilbert rule instead shows the induction step to be invalid. Tags: Undo Reverted
11:3711:37, 2 August 2023 diff hist 3 User talk:Germanomosconi1 →Reply to Germanomosconi1: Replaced "replacement" by "substitution" in three places
10:5510:55, 2 August 2023 diff hist 2,246 User talk:Germanomosconi1 →Reply to Germanomosconi1: new section Tag: New topic

22:1222:12, 1 August 2023 diff hist 2,108 User talk:Germanomosconi1 →Reply to Germanomosconi1: new section Tag: New topic

06:1606:16, 28 July 2023 diff hist 1,747 User talk:Germanomosconi1 →Reply to Germanomosconi1: new section Tag: New topic

00:5000:50, 27 July 2023 diff hist 2,690 Original proof of Gödel's completeness theorem Undid revision 1166948929 by Germanomosconi1 (talk) Germanomosconi1, who deleted my comment that I am restoring, seems to have only an elementary knowledge of symbolic logic and Gӧdel's completeness theorem's supposed proof, and doesn't understand the objections to it in my comment- see our conversation on his Talk page. Tags: Undo Reverted
00:3300:33, 27 July 2023 diff hist 1,481 User talk:Germanomosconi1 →Reply to Germanomosconi1: new section Tag: New topic

16:5116:51, 26 July 2023 diff hist 2,504 User talk:Germanomosconi1 →Reply from Dirsaka: new section Tag: New topic

02:0602:06, 25 July 2023 diff hist 1,073 N User talk:Germanomosconi1 →Your deletion of Dirsaka's comment: new section Tag: New topic

18:3018:30, 24 July 2023 diff hist 2,690 Original proof of Gödel's completeness theorem Undid revision 1166706599 by Felix QW (talk) My comment follows from such basic logic that, I think, no references are needed, but I listed three. A further argument for the reversion, addressed to Felix QW, is listed on my talk page, which has a link to my article still further describing the Wikipedia article's induction error. ~~~~ Tags: Undo Reverted
18:0518:05, 24 July 2023 diff hist 0 User talk:Dirsaka →To Felix QW, about his deletion of my comment
18:0318:03, 24 July 2023 diff hist 1,611 User talk:Dirsaka →To Felix QW, about his deletion of my comment: new section Tag: New topic

14:0214:02, 6 April 2023 diff hist 0 m Original proof of Gödel's completeness theorem Replaced capital psi in the second line of my comment with lower case psi Tag: Visual edit

15:2515:25, 19 January 2023 diff hist 65 Original proof of Gödel's completeness theorem Replaced "showing" by "to show", inserted a phi after "formula", and inserted "without having proved the theorem for formulas of degree k 1". Tag: Visual edit

11:4811:48, 30 December 2022 diff hist 0 Original proof of Gödel's completeness theorem Changed initial k in my comment from 0 to 1. ~~~~ Tag: Visual edit

15:1715:17, 31 July 2022 diff hist −267 Original proof of Gödel's completeness theorem Changed italics in first paragraph (I don't know how they got there, maybe an edit by someone else) to non-italics, limited bold to part before colon (how most of first paragraph became bold I also don't know). Tag: Visual edit

21:3321:33, 30 July 2022 diff hist 311 Original proof of Gödel's completeness theorem Improved the Comment's formatting Tag: Visual edit
21:1021:10, 30 July 2022 diff hist 877 User talk:Dirsaka →Edit by Dirsaka 2022-7-30: new section Tag: New topic
20:3020:30, 30 July 2022 diff hist 2,582 Original proof of Gödel's completeness theorem Added a comment just before the section "Proving the theorem for formulas of degree 1" stating that the so-called proof so far seems to violate the logic and rules for proof by mathematical induction, which it claims to have employed to, at this point, reduce the proof to proving the theorem for formulas of degree one. Tags: Manual revert Visual edit

13:4213:42, 25 July 2022 diff hist 339 Wikipedia:Requests for undeletion →User:Dirsaka/sandbox: new section

20:0220:02, 25 January 2022 diff hist 1,405 Talk:Original proof of Gödel's completeness theorem Reply to Felix QW's reply

20:0520:05, 22 January 2022 diff hist 67 Talk:Original proof of Gödel's completeness theorem Pinged Felix QW
19:3819:38, 22 January 2022 diff hist 187 Talk:Original proof of Gödel's completeness theorem Adjusted indent of last paragraph, and asked question about importance of theorem
19:1419:14, 22 January 2022 diff hist 2,181 Talk:Original proof of Gödel's completeness theorem Reply to Felix QW's reply
17:4617:46, 22 January 2022 diff hist 137 User talk:Eagleash Comment on final attempt
17:4317:43, 22 January 2022 diff hist 65 User talk:Eagleash Final attempt to get the format correct
17:3417:34, 22 January 2022 diff hist 19 User talk:Eagleash Respaced reply to Eagleash's reply to me
17:3017:30, 22 January 2022 diff hist 2,218 User talk:Eagleash Reply to Eagleash's reply to me
10:5310:53, 22 January 2022 diff hist 9 User:Felix QW Manually put in username & date, since tilde signature wasn't working Tags: Reverted Visual edit
10:4910:49, 22 January 2022 diff hist 1 User:Felix QW Retyped non-working tilde signature Tags: Reverted Visual edit
10:4610:46, 22 January 2022 diff hist −113 User:Felix QW Replaced non-working link with article title Tags: Reverted Visual edit
10:4210:42, 22 January 2022 diff hist 0 User:Felix QW Reinserted article link Tags: Reverted Visual edit
10:3810:38, 22 January 2022 diff hist 723 User:Felix QW Message to Felix QW about his deletion of my Comment Tags: Reverted Visual edit
10:0410:04, 22 January 2022 diff hist 1,713 User talk:Eagleash →Deleted article Comment of this comment's author: new section

18:5118:51, 21 January 2022 diff hist 61 Original proof of Gödel's completeness theorem Corrected slight typing errors Tags: Reverted nowiki added Visual edit

22 February 2024

9 January 2024

8 January 2024

6 January 2024

5 January 2024

24 August 2023

8 August 2023

6 August 2023

3 August 2023

2 August 2023

1 August 2023

28 July 2023

27 July 2023

26 July 2023

25 July 2023

24 July 2023

6 April 2023

19 January 2023

30 December 2022

31 July 2022

30 July 2022

25 July 2022

25 January 2022

22 January 2022

21 January 2022