Seems like #van-Emden’s notes on the opposition between the “formulaic paradigm” and the “algorithmic paradigm” goes back further than I thought; in this case he’s contrasting equations with Horn clauses for specifying relational #databases
on 02024-08-27#van-Emden opines about the “algorithmic paradigm” that is sort of supplanting the “formulaic paradigm”. Very thought-provoking, and kind of parallel to some of the stuff Alan Kay is working on at #CDG. #calendar #algorithms
on 02015-10-29