|
OK, then how about starting here.
Author Guidelines | Communications of the ACM[^]
"the debugger doesn't tell me anything because this code compiles just fine" - random QA comment
"Facebook is where you tell lies to your friends. Twitter is where you tell the truth to strangers." - chriselst
"I don't drink any more... then again, I don't drink any less." - Mike Mullikins uncle
|
|
|
|
|
Message Closed
modified 19-May-23 21:26pm.
|
|
|
|
|
Quote: Moshe Y. Vardi the former editor in chief of the CACM
How about now, armed with your quote?
"the debugger doesn't tell me anything because this code compiles just fine" - random QA comment
"Facebook is where you tell lies to your friends. Twitter is where you tell the truth to strangers." - chriselst
"I don't drink any more... then again, I don't drink any less." - Mike Mullikins uncle
|
|
|
|
|
Message Closed
modified 19-May-23 21:20pm.
|
|
|
|
|
polcott wrote: He has already made up his mind
Who's 'he', the current editor? Look, if your stated aim to publish there (CAMC), then concentrate your efforts there. It doesn't seem as though 'here' is getting you anywhere.
"the debugger doesn't tell me anything because this code compiles just fine" - random QA comment
"Facebook is where you tell lies to your friends. Twitter is where you tell the truth to strangers." - chriselst
"I don't drink any more... then again, I don't drink any less." - Mike Mullikins uncle
|
|
|
|
|
Message Closed
modified 19-May-23 21:24pm.
|
|
|
|
|
polcott wrote: Because my writing style is not even close the the writing style of a published PhD researcher what I say is almost always rejected out-of-hand without review of the substance of what I have said.
For some reason I doubt that.
What would happen if everyone here agreed with your conclusion?
"the debugger doesn't tell me anything because this code compiles just fine" - random QA comment
"Facebook is where you tell lies to your friends. Twitter is where you tell the truth to strangers." - chriselst
"I don't drink any more... then again, I don't drink any less." - Mike Mullikins uncle
|
|
|
|
|
Message Closed
modified 19-May-23 21:20pm.
|
|
|
|
|
polcott wrote: If everyone here agreed that page three of this paper is correct
Probably not going to happen here, so just cut to the chase. Change the title and submit, possibly adding that professors name somehow in the title.
"the debugger doesn't tell me anything because this code compiles just fine" - random QA comment
"Facebook is where you tell lies to your friends. Twitter is where you tell the truth to strangers." - chriselst
"I don't drink any more... then again, I don't drink any less." - Mike Mullikins uncle
|
|
|
|
|
Message Closed
modified 19-May-23 21:24pm.
|
|
|
|
|
You are correct.
"the debugger doesn't tell me anything because this code compiles just fine" - random QA comment
"Facebook is where you tell lies to your friends. Twitter is where you tell the truth to strangers." - chriselst
"I don't drink any more... then again, I don't drink any less." - Mike Mullikins uncle
|
|
|
|
|
Message Closed
modified 19-May-23 21:19pm.
|
|
|
|
|
I claimed nothing about your conclusions one way or another.
polcott wrote: The objective facts prove that I am correct thus superseding all opinions to the contrary.
Where has that got you?
"the debugger doesn't tell me anything because this code compiles just fine" - random QA comment
"Facebook is where you tell lies to your friends. Twitter is where you tell the truth to strangers." - chriselst
"I don't drink any more... then again, I don't drink any less." - Mike Mullikins uncle
|
|
|
|
|
Message Closed
modified 19-May-23 21:28pm.
|
|
|
|
|
You can't force people to care, that's the truth.
"the debugger doesn't tell me anything because this code compiles just fine" - random QA comment
"Facebook is where you tell lies to your friends. Twitter is where you tell the truth to strangers." - chriselst
"I don't drink any more... then again, I don't drink any less." - Mike Mullikins uncle
|
|
|
|
|
harold aptroot wrote: You already wrote papers about this..
Ah...well then that makes some of the rest more clear then.
|
|
|
|
|
Message Closed
modified 19-May-23 21:28pm.
|
|
|
|
|
polcott wrote: Whether or not these insights apply to the actual halting problem is a next level review that must be done by a qualified computer scientist.
The code you have provided is a demonstration of something that has already been demonstrated mathematically. Doesn't matter how you phrase your posts that remains true.
Lets say you create a interpreter which changes the context in which the problem runs. For example it halts every single time a specific instruction is called. Certainly provable that it halts then. But that is a different problem than the one you posted.
So your choices are
1. Find your own problem and prove anything you want about it. You must fully define the problem space.
2. Find a way to invalidate the existing Turing proof using the context in which it was presented. You do not get to change that context - if you want to change the context then see item #1.
Note that step #1 even being fully correct will say nothing about the Turing proof.
|
|
|
|
|
Message Closed
modified 19-May-23 21:27pm.
|
|
|
|
|
polcott wrote: cannot possibly terminate normally.
Nigel Molesworth* wrote: As any fule kno.
*The curse of St. Custard's
|
|
|
|
|
Message Closed
modified 19-May-23 21:26pm.
|
|
|
|
|
polcott wrote: If I was actually wrong someone could point out a mistake.
I can't speak for anyone else but I am certainly not going to attempt to teach you an entire class on Turing Machine mathematics.
And I already suggested that you take exactly that sort of class.
I found one that teaches it. I know there are others.
Models of Computation[^]
|
|
|
|
|
Latest update: the bug is gone after I run cmd console, instead of the new Terminal console. Case closed. Thanks everybody for checking and testing.
I found a cout bug with Visual C++ 2022 on Windows 11. VC++ 2019 does not have this bug. When I try to debug, the problem goes away. I have produced a small repo that reproduces the issue. Please help me check so that I can report this bug to Microsoft. Thanks.
modified 12-May-23 8:10am.
|
|
|
|
|
I cannot confirm the bug. Everything works in the order expected.
Microsoft (R) C/C++ Optimizing Compiler Version 19.35.32217.1 for x86
on
Windows 11 Pro
Version 22H2 (OS Build 22621.1555)
|
|
|
|
|
Thanks. Your Visual C++ and Windows edition is the same as mine. Did you run it a few times? The bug has 50% chance of reproducing when run normally (meaning not debugging).
|
|
|
|
General 
News 
Suggestion 
Question 
Bug 
Answer 
Joke 
Praise 
Rant 
Admin 
Submit an article or tip
