programming is a surprisingly post modern activity.
church’s untyped lambda calculus, which introduced Lambda – an anonymous function / variable thing – Is so flexible that you can make true=false without a blink.
in fact that flexibility is required for us to be able to type freely right now.
But it’s restricted in a safe “type” called TEXT.
church’s typed calculus.
with types, you get some predetermined truths because they are programmed in at a deep level
but that’s different from determinate.
Michael Cavallo we can CREATE axioms and follow them.
that is our choice
now, it’s easy to name Feyerabend and stop thinking critically about it.
But Feyerabend worked and battled with Imre Lakatos.
Lakatos had a very similar notion as Feyerabend but more middle road – a scientific anarchism rather than Feyerabend’s.
Lakatos and Popper both introduced the notion of “scientific community” and it is there that you see one of the benefits.
Lakatos also introduced the notion of Research program.