Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
Groups > comp.lang.java.programmer > #37593
| From | Martin Gregorie <martin@address-in-sig.invalid> |
|---|---|
| Newsgroups | comp.lang.java.programmer |
| Subject | Re: Thorough Mathematical intro to "computer 'science'" ... |
| Date | 2017-10-27 17:25 +0000 |
| Organization | A noiseless patient Spider |
| Message-ID | <osvq6l$t1b$3@dont-email.me> (permalink) |
| References | <osjnlv$1e5$1@gioia.aioe.org> <mathematics-20171023062801@ram.dialup.fu-berlin.de> <oslrln$1kiu$1@gioia.aioe.org> <Achilles-20171024050016@ram.dialup.fu-berlin.de> <c9tvt4asfdcc.1ow84lcbs8hc0.dlg@40tude.net> |
On Fri, 27 Oct 2017 09:33:57 +0200, Joerg Meier wrote: > On 24 Oct 2017 04:02:10 GMT, Stefan Ram wrote: > >> =?UTF-8?Q?Albretch_M=c3=bcller?= <tekmonk2005@yahoo.com> writes: >>>Hmm! What is it exactly you can't implement with a computer? >> (Obviously, one cannot write a Java program that will read another >> Java program and output whether the other Java program will >> terminate. But I was not thinking about this.) > > Excuse me ? Are you seriously claiming that Java is not Turing complete, > or did I misunderstand your statement ? > No: he's just saying that the Halting Problem isn't algorithmically solvable, which is what Turing proved. -- martin@ | Martin Gregorie gregorie. | Essex, UK org |
Back to comp.lang.java.programmer | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll thread
Thorough Mathematical intro to "computer 'science'" ... Albretch Müller <tekmonk2005@yahoo.com> - 2017-10-22 19:28 -0400
Re: Thorough Mathematical intro to "computer 'science'" ... Albretch Müller <tekmonk2005@yahoo.com> - 2017-10-23 14:49 -0400
Re: Thorough Mathematical intro to "computer 'science'" ... Joerg Meier <joergmmeier@arcor.de> - 2017-10-27 09:33 +0200
Re: Thorough Mathematical intro to "computer 'science'" ... Arne Vajhøj <arne@vajhoej.dk> - 2017-10-27 10:37 -0400
Re: Thorough Mathematical intro to "computer 'science'" ... Martin Gregorie <martin@address-in-sig.invalid> - 2017-10-29 01:40 +0000
Re: Thorough Mathematical intro to "computer 'science'" ... Martin Gregorie <martin@address-in-sig.invalid> - 2017-10-27 17:25 +0000
Re: Thorough Mathematical intro to "computer 'science'" ... Joerg Meier <joergmmeier@arcor.de> - 2017-10-28 23:30 +0200
csiph-web