Create accountLogin

Recent searches

No recent searches

Search options

Only available when logged in.
mastodon.social is one of the many independent Mastodon servers you can use to participate in the fediverse.
The original server operated by the Mastodon gGmbH non-profit

Administered by:

Server stats:

341K
active users

mastodon.social: AboutStatusProfiles directoryPrivacy policy

Mastodon: AboutGet the appKeyboard shortcutsView source codev4.4.0-nightly.2025-04-15

#turing

5 posts5 participants0 posts today
Public *
Cristián_Rojo

Ahora puedes leer en español el artículo interactivo sobre máquinas de Turing escrito por @samwho Te encontrarás con fundamentos de la computación que nos acompañan desde la década de 1930 hasta hoy. Ideal para quienes tratamos de entender para luego enseñar los fundamentos de las Ciencias de la Computación. Gracias Sam por compartirlo y subir mi traducción del artículo. samwho.dev/turing-machines-spa #máquinasDeTuring #enseñanzaDeLaComputación #Turing

samwho.devTuring MachinesBy Sam Rose
Public
coletivos.org suporte

Alan #Turing: #Hacker que salvou 'milhões de vidas' ao desencriptar as mensagens de criptografia de Hitler para os generais na frente. Após a #WW2, Turing foi condenado por causa de sua #homosexualidade e teve de escolher entre prisão e liberdade condicional. Sua liberdade condicional teve um acordo que passou por mudanças físicas hormonais para reduzir a libido, uma "castração química".

Não deixes os poderosos controlar-te, matém a chama da resistência a arder para as próximas gerações

Public *
Degrowth or Extinction

Alan #Turing: The #codebreaker who saved 'millions of lives' by breaking the encryption messages of hitler to the generals in the front. After #WW2, Turing was convicted because of his #homosexuality and given a choice between imprisonment and probation. His probation would be conditional on his agreement to undergo hormonal physical changes designed to reduce libido, known as "chemical castration".

don't let the powerful control you, keep the flame of resisting burning for the next generations

The image is a black and white portrait of a young man. He is wearing a textured, tweed-like suit jacket over a white shirt with a dark tie. The man has a slicked-back hairstyle with a distinct parting on the side, which was a popular style in the early to mid-20th century. His expression is serious and contemplative, with his gaze directed slightly to the side. The background is plain and light-colored, providing a neutral backdrop that focuses attention on the subject. The overall composition and attire suggest a formal or professional setting. It's a picture of Alan Turing
Public
KilleansRow 🇺🇲 🇺🇦🍀

A great little article. Why pay attention to this? Well…some of the relationships between #Computability, #Undecidability, #Church-#Turing , #SuperDeterminism, #Nonfalsifiability and bits like the #SimulationHypothesis indicate deeper complexities and connections. Is there some underlying dimensionality or topology yet to emerge ? It seems likely, but vexatious

Via @QuantaMagazine
‘Next-Level’ Chaos Traces the True Limit of Predictability
quantamagazine.org/next-level-

Illustration of a blindfolded demon attempting to sense the contents of a cosmic crystal ball.
Quanta Magazine · ‘Next-Level’ Chaos Traces the True Limit of Predictability | Quanta MagazineIn math and computer science, researchers have long understood that some questions are fundamentally unanswerable. Now physicists are exploring how even ordinary physical systems put hard limits on what we can predict, even in principle.
Public
Senator Paula Simons🇨🇦

Wonderful news for Edmonton's AI mage Rich Sutton, for the University of Alberta, and for AMII, the Alberta Machine Intelligence Institute. I've had a couple of chances over the years to interview Rich and his colleagues, and tour their labs. Their work on reinforcement learning - far more interesting than LLM - has made Edmonton a real AI centre of excellence. Meeting him is the closest I'll ever come to meeting Gandalf. ualberta.ca/en/folio/2025/03/c #yeg #Edmonton #ualberta #TuringAward #Turing #AI

www.ualberta.caComputing science professor wins ‘Nobel Prize in computing’Richard Sutton, a University of Alberta computing science professor and one of the founders of modern computational reinforcement learning, has been honoured as co-recipient of the 2024 Association for Computing Machinery A.M. Turing Award, often referred to as the “Nobel Prize in Computing.”
Public
sumanthvepa

The award this year goes to the folks who pioneered reinforcement learning. Congratulations to Andrew Barto and Richard Sutton. awards.acm.org/about/2024-turi

awards.acm.orgAndrew Barto and Richard Sutton are the recipients of the 2024 ACM A.M. Turing Award for developing the conceptual and algorithmic foundations of reinforcement learning.Andrew Barto and Richard Sutton as the recipients of the 2024 ACM A.M. Turing Award for developing the conceptual and algorithmic foundations of reinforcement learning. In a series of papers beginning in the 1980s, Barto and Sutton introduced the main ideas, constructed the mathematical foundations, and developed important algorithms for reinforcement learning—one of the most important approaches for creating intelligent systems.
Public
Tevin

Alan Turing had proven that determining whether an arbitrary program will halt (terminate) or run forever is non-computable.

Sir Roger Penrose claims that human consciousness might involve non-computable processes, thus won't be achievable with current computer-driven AI implementations. However, this doesn't mean that these AIs won't be better than humans in certain tasks.

youtube.com/watch?v=biUfMZ2dts

YouTubeGödel's theorem debunks the most important AI myth. AI will not be conscious | Roger Penrose (Nobel)By This Is World
#penrose#turing#ai
Public
Christoph Deppe

Besides his very demanding academic work Alan was an avid runner. He supposedly ran to relax his mind from his . This took him all the way to clocking a 2:46:03 in the in 1948. This is a time that many ambitious runners would be very happy with today. But this in 1948, while working full time is extremely impressive.

Alan Turing participating in a track race
ExploreLive feeds
About