Uploaded April 2018 | Updated September 2026, 2 weeks ago
The new carillon bells in the University of Washington's Red Square playing Ode to Joy as part of the dedication concert.
The new carillon bells in the University of Washington's Red Square playing Ode to Joy as part of the dedication concert.









![Gottlob: An esoteric programming language
A quick demo of Gottlob, the new programming language Ive been developing. It is based on the gloriously idiosyncratic notation developed in Gottlob Freges Begriffsschrift. The only logical operation is implication, which also doubles as a conditional. Universal quantifiers serve as for loops. In this example I build an equivalent to the following code:
for a in [1..2]
for b in [1..2]
var c = (a 1) → ((b 1) → false))
print(c)
In more conventional terms, c = (a 1) || (b 1). (Remember, implication returns true if the test fails! And in this notation, the test comes *after* the consequent.) As is to be expected, this results in the following truth table. However, instead of true/false it is given in the terms used in Freges writing.
denied
affirmed
affirmed
affirmed Gottlob: An esoteric programming language](https://i.ytimg.com/vi/JmYO8oD9Hdw/mqdefault.jpg)
