For along time I thought about adding object-oriented features to PyFL but couldn’t figure out how. Classes and methods don’t seem to fit into the declarative model, where all objects a…| Bill Wadge's Blog
[This is another excerpt from the paper we were going to submit to ICFP 2025. Unfortunately it was immediately rejected because we included our names, contrary to the instructions that it is anonym…| Bill Wadge's Blog
[This is from a paper we’re submitting to the International Conference on Functional Programming (ICFP 2025)] Introduction Recursion and iteration are the Yin and Yang of programming. Convent…| Bill Wadge's Blog
AI naysayers often disparage chatGPT by dismissing it as a glorified autocomplete. Supposedly it repeatedly computes the next likely word and selects it at random based on weighted probabilities. I…| Bill Wadge's Blog
“We should forget about small efficiencies, say about 97% of the time: premature optimization is the root of all evil.” ~ Donald Knuth “Both women and computer science are the los…| Bill Wadge's Blog
“Computers are useless. They can only give you answers.” ~ Pablo Picasso “Science is to computer science as hydrodynamics is to plumbing.” ~ Stan Kelly-Bootle Back then, the…| Bill Wadge's Blog
Ive been looking at paintings a lot lately, and started to wonder, what would the old masters like Rembrandt make of new technology: trains, cars, TV etc? In particular, what would they make of com…| Bill Wadge's Blog
The famous mathematician Kurt Gödel proved two “incompleteness” theorems. This is their story. By the 1930s logicians, especially Tarski, had figured out the semantics of predicate logic. Tarski described what exactly was an ‘interpretation’ and what it meant for a … Continue reading →| Bill Wadge's Blog
Recently various pundits (including myself) have announced the end of Good Old Fashioned AI (GOFAI). But it has an impressive history, and encountered failure only on the verge of what would have been its greatest triumph. What is GOFAI? Some … Continue reading →| Bill Wadge's Blog
The fear of infinity is a form of myopia that destroys the possibility of seeing the actual infinite~ Georg Cantor Recently NETFLIX released a documentary on mathematical concept of infinity, title…| Bill Wadge's Blog