Gyuhang Shimplto001.hashnode.dev·Sep 16, 2024Soundness of Programming LanguagesSoundness and Completeness at the Programming Language Level Soundness in programming languages is a concept that represents the stability and reliability of a language's type system. In other words, if a language's type system can catch all type-rel...Discusssoundness-and-completeness
Sunney Soodsunneysood.hashnode.dev·Aug 24, 2024What is the Turing Test and Why It Fails in AI/ML?Understanding the Turing Test The Turing Test, proposed by British mathematician and computer scientist Alan Turing in 1950, is a measure of a machine's ability to exhibit intelligent behavior indistinguishable from that of a human. In Turing's origi...DiscussData ScienceAI
Shreyansh Agarwalshreyanshagarwal.hashnode.dev·Dec 22, 2023Turing: The Man Who Invented the Computer and Challenged the Limits of ThinkingIntroduction Alan Turing, the unsung hero of Computer Science, often goes unnoticed by many, even those immersed in the field. I discovered his profound contributions after a weekend spent watching 'The Imitation Game' (2014). Inspired, I decided to ...Discusscomputer science history
@nyevenesblog.nyevenes.dev·Jul 28, 2023Alan Turing: el genio incomprendido y padre de la informática moderna.Alan Turing fue un matemático, lógico y criptoanalista británico, considerado uno de los padres de la informática y la inteligencia artificial. Durante la Segunda Guerra Mundial, Turing desempeñó un papel fundamental en el descifrado de los códigos n...Discuss·70 readsalan turing
Andrea Chiarelliandychiare-1672850528353.hashnode.dev·Jan 9, 2023Speaking about the Turing machineSeveral years ago, when I enrolled in the graduate program in Computer Science in Pisa, I found a curious ad on the university bulletin board. Among the countless offers of houses for rent, bikes for sale, notes, and books in good condition, the ad r...Discuss·29 readscomputing
freeCodeCampforfreeCodeCampfreecodecamp.org·Feb 21, 2019How the Turing Machine interactive simulator can help you understand algorithmsBy Lazar Gugleta Let’s remind ourselves where zeroes and ones all began with a new approach and program that simulates the Turing machine. Many of you reading this might know what I am talking about. But for those of you that do not, I am going to ex...Discussalgorithms
