I may be misunderstanding your concern, but I believe this is what is meant by "Categoricity for the real numbers"
HN user
jtimdwyer
See, they install that TruCoat at the factory, there's nothin' we can do, but I'll talk to my boss.
Who does he calculate he is?!?
Location: Los Angeles, CA
Remote: Yes
Willing to relocate: Unlikely
Technologies: Python, Postgres, Docker, Linux & AWS are some favorites but I am open minded
Resume: https://timdwyer.net/resume.pdf
Email: jtimdwyer@me.com
LinkedIn: https://www.linkedin.com/in/jtimdwyer/
--
Experienced software engineer with experience at small VC backed companies and one large national corporation. I've mostly worked on backend systems and infrastructure but also lots of web frontend, and more recently done some mobile app development. Open to regular meetings in LA & Denver and occasional travel outside.
I think the previous post is saying a resource removed from a configuration file rather than an invocation explicitly deleting the resource in a command line. Of course if it’s removed from the config file, presumably the lifecycle configuration was as well!
I’m extremely curious to hear more about your experiences with this! Is it a matter of providing working examples to understand the boundaries of different theorems?
To be clear I am not being sarcastic in saying this but the only method I’ve found to work with any consistency is: Try, try again.
In my experience many mathematicians enjoy things like juggling, change ringing etc. make of it what you will I guess.
I may be falling into a trap here by answering this, but you might enjoy The Structure of Scientific Revolutions by Thomas Kuhn.
I think it's a reference to this scene.
very carefully
If you have not, you may be interested in reading Thomas Kuhn's book -- The Structure of Scientific Revolutions.
Two historically trick ones!
Now define distance :)