In general, I love rigor. However, I tend to hate rigor in philosophy...because it's almost always a cheat. Every time I try to read philosophy it'll start "all actions are either voluntary or compelled", or whatever. And I'm "woah, woah, woah! Define 'action'. >>>
-
-
9/ side note: YES, EVERYONE TWEETING AT ME THAT AXIOMS EXIST, I KNOW THAT. THIS RANT ISN'T DONE. HOLD YOUR HORSES.
Show this thread -
10/ When I try to read philosophy, I often see X vaguely defined in one place, then substituted in another, and it's not clear to me that X actually behaves the same in a second environment. Hand-waving argument to functional programming goes right here, because even worse than
Show this thread -
11/ (in a complexity sense) than a function X that does different things based on a pointer to function Y that is passed in, is a function X that does different things for entirely cryptic reasons re global variables or other "not actually passed via the function's API" stuff
Show this thread -
12/ Yes, obviously. No child learns what "red" is by being told how many angstroms between wavelength peaks, and then digging down into quantum mechanics. We can approximate a definition by enumeration. https://twitter.com/YIlan90/status/1166692826551332865 …
This Tweet is unavailable.Show this thread -
13/ I object strongly to the word "cheat". Rigor is a tool that constructs things crisply ATOP the axioms. The fact that when we scan down the 20 story office building we find a basement, a sub basement, and then a massive set of pilings doesn't >> https://twitter.com/DM_Berger/status/1166693868584296448 …
This Tweet is unavailable.Show this thread -
14/ invalidate the rigor with which the steel I beams have been placed, merely because "it rests on pilings at the bottom". OF COURSE it rests on pilings. ...I just want to make sure that it DOES rest on them, and not on air !
Show this thread -
15/ I disliked "cheat" in the previous tweet and I dislike "if you're honest with yourself". There's no need to lard the discussion with moral weight, and I find it correlates with "more heat than light" conversations. https://twitter.com/DM_Berger/status/1166694759261462529 …
This Tweet is unavailable.Show this thread -
16/ And, screw it, I'm not up for a "more heat than light" conversation, so I'm out.
Show this thread
End of conversation
New conversation -
-
-
Higher order functions are brain melting for most people. Every now and again I stand in awe of lambda calculus.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.