If Gödel has taught me anything, it’s that to every ω-consistent recursive class c of formulae there correspond recursive class-signs r, such that neither v Gen r nor Neg (v Gen r) belongs to Flg(c) (where v is the free variable of r).
“Dallas Northington spent nearly eight years working for Target [as a security guard trying to stop shoplifting], roaming the stores and scanning the surveillance cameras. In an episode at the Leesburg Target store in May that he said was typical, a man was allegedly captured twice on video shoplifting, and Northington responded as he said he always did: He called the Leesburg police, made a report and provided them the videos of the two incidents.
“But the man in the video may have been a Fairfax County sheriff’s deputy, Northington said he soon learned. And within days, two things happened: The deputy retired from the sheriff’s office and Target fired Northington, 29, a married father of two with a third child on the way.
“Northington said Target officials told him that he had violated procedure by not filling out the proper paperwork before contacting the police, though he said his office had operated the same way for years. He said he also was told that he had been insubordinate for not seeking approval before calling police, though he said the standard practice was for him to act as needed.
“But the man Northington said he and his supervisors identified as a deputy has not yet been charged with a crime though Northington said he had provided the man’s name and two color videos of him in action, his face clearly visible, to Leesburg police on May 27, the date of the second incident. . . .”
Seen recently in a friend’s comments thread: “Unfollowing you for blasting Stef. I’m not trying to be THAT cut and dry but 1. He’s the best philosopher of our age 2. What could you possibly take exception with him on? . . .”
If you believe the first thing, or have ever felt inclined to ask the second, please feel free to unfollow me too.
Every single time I re-enter the US, CBP has discovered an entirely new way to offer me a ridiculously dystopian hellscape as my greeting back to the Land of the Free. This year: a seemingly endless maze of cordoned-off paths for people to queue through on their way to the new “Ihre Papiere, bitte” automated camera kiosks, which seem to have been purposely designed to prove a Foucaultian point.