Create accountLogin

Recent searches

No recent searches

Search options

Only available when logged in.
mathstodon.xyz is one of the many independent Mastodon servers you can use to participate in the fediverse.
A Mastodon instance for maths people. We have LaTeX rendering in the web interface!

Administered by:

Server stats:

2.8K
active users

mathstodon.xyz: AboutStatusProfiles directoryPrivacy policy

Mastodon: AboutGet the appKeyboard shortcutsView source codev4.3.7

#ewd898

0 posts0 participants0 posts today
Daniel<p><a href="https://chaos.social/tags/Dijkstra" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Dijkstra</span></a>'s writing is full of gems 💎</p><p>The question of whether machines can think is about as relevant as the question of whether submarines can swim</p><p><a href="https://chaos.social/tags/EWD898" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>EWD898</span></a> <a href="https://chaos.social/tags/AI" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>AI</span></a> <a href="https://chaos.social/tags/LLMs" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>LLMs</span></a></p>
Julien M.<a class="hashtag" href="https://pleroma.autogeree.net/tag/computingscience" rel="nofollow noopener noreferrer" target="_blank">#ComputingScience</a> <a class="hashtag" href="https://pleroma.autogeree.net/tag/edsgerdijkstra" rel="nofollow noopener noreferrer" target="_blank">#EdsgerDijkstra</a> <a class="hashtag" href="https://pleroma.autogeree.net/tag/ewd898" rel="nofollow noopener noreferrer" target="_blank">#EWD898</a> <a class="hashtag" href="https://pleroma.autogeree.net/tag/artificialintelligence" rel="nofollow noopener noreferrer" target="_blank">#ArtificialIntelligence</a><br><blockquote>The Fathers of the field had been pretty confusing: John von Neumann speculated about computers and the human brain in analogies sufficiently wild to be worthy of a medieval thinker and Alan M. Turing thought about criteria to settle the question of whether Machines Can Think, a question of which we now know that it is about as relevant as the question of whether Submarines Can Swim. <br></blockquote>
Julien M.<a class="hashtag" href="https://pleroma.autogeree.net/tag/computingscience" rel="nofollow noopener noreferrer" target="_blank">#ComputingScience</a> <a class="hashtag" href="https://pleroma.autogeree.net/tag/edsgerdijkstra" rel="nofollow noopener noreferrer" target="_blank">#EdsgerDijkstra</a> <a class="hashtag" href="https://pleroma.autogeree.net/tag/ewd898" rel="nofollow noopener noreferrer" target="_blank">#EWD898</a><br><blockquote><strong>The threats to computing science (1984)</strong><br>[…] Does this overestimation of the usefulness of the gadget hurt computing science? I fear it does. At the one end of the spectrum it discourages the computing scientist from conducting all sorts of notational experiments because "his word-processor won't allow them", at the other end of the spectrum <u>the art-and-science of program design has been overshadowed by the problems of mechanizing program verification.</u><br><br>The design of new formalisms, more effective because better geared to our manipulative needs, is neglected because the clumsiness of the current ones is the major motivation for the mechanization of their use. It is not only the performing artist who is, in a very real sense, shaped by the instrument he plays; this holds as well for the Reasoning Man, and I leave it to you to determine how disturbed you are going to be by this observation. <br></blockquote>
SearchLive feeds
About