Author Archives: Bill Wadge

About Bill Wadge

I am a Professor in Computer Science at UVic.

Negative Time Iteration

Lucid is based on a simple temporal logic. The time model follows from formalizing iteration as it appears in imperative programs with, say, while or for loops. In this model there is a first or initial time point, and every … Continue reading

Posted in Uncategorized | Leave a comment

Programming With End-Of-Data

In the last post we introduced eod (end-of-data), a special sentinel value used to mark the end of a finite Lucid stream. Streams in Lucid are all formally infinite (non terminating) but we can use eod to represent finite streams … Continue reading

Posted in Uncategorized | Leave a comment

Finite and Infinite in Lucid2D

Lucid2D is Lucid with both time and space dimensions, as discussed in my last blog post. Program variables denote intensions that can be thought of as streams of arrays. Infinite streams of infinite arrays. “But wait!” I hear you say. … Continue reading

Posted in Uncategorized | Leave a comment

Multidimensional Dataflow

As I’ve already explained, Lucid can be understood as functional programming with an added time dimension. What about other dimensions? In particular, what about a space dimension? The late Ed Ashcroft and I discovered this possibility when we tried to … Continue reading

Posted in Uncategorized | Leave a comment

Choose Your Paradox – the downside of the Axiom of Choice

And He took the five loaves and the two fish, and looking up to heaven, He blessed and broke and gave the loaves to the disciples; and the disciples gave to the multitudes. So they all ate and were filled, and … Continue reading

Posted in Uncategorized | 2 Comments

This Post is Meaningless – the Liar Paradox

The Liar Paradox is simple enough to explain – is the following statement true or false? This statement is false. If it’s true then it’s false, but if it’s false then it’s true  … nothing works. In my not-so-humble opinion, … Continue reading

Posted in Uncategorized | 1 Comment

Grammar, Go, and the Unconscious – the Power of Facts and Rules.

In the last post there was plenty about Gödel but not much about Grammar and Go-the-game. Time to pay my debt! Basically I said that Gödel’s results proved that no fixed set of facts and rules can on their own form … Continue reading

Posted in Uncategorized | Leave a comment