🧵 View Thread
🧵 Thread (10 tweets)
depending on your teacher, odds are you're going to spend a lot of time in a FL class working on some bullshit logic on the object level is the most tedious innane nonsense. logic on the meta level just barely starts to get interesting
good angle: you can have higher and lower level programming languages that all have the same "expressive power" (all turing complete (sorta)) it's harder to code in brainfuck than in python but brainfuck has a simpler compiler than python
Formal logic is a pl, where a string being properly compiled means that it is a correct mathematical proof it's also a pl where people have tried to make the compiler as small and simple as possible, so that it's easier for humans to analyze it and go "seems legit"
one teacher made this quite clear, and ensured that we spent as little time as possible having to make completely formal proofs (because they only exist at that level of formality so machines can do them) but I've had a whole logic class that was nothing but doing deductions :(
