I have a philosophy degree (strictly speaking History and Philosophy of Science) and I'm a staff software engineer at Google.
I've been doing this professionally for 25 years, and definitely my career had a slow start, it took a good nine months out of college to find my first job, which essentially served as an apprenticeship. I've certainly never had a problem with being insufficiently technical, if you can work your way through Gödels incompleteness theorem then you can work your way through PAXOS or an algorithms text book
As a philosophy major, at my university we do so in our "Advanced Symbolic Logic" class. However, the depth with which you engage with Gödel's theorem depends on the professor teaching it and their interests when designing the course (we have 2 specializing in mathematical logic who flip back and forth iirc).
I remember, in an upper-level Philosophy class, the professor mentioning Gödel, and I'm pretty sure no one but me knew who he was. (Though, to be fair, at the time I knew him as "Go-Dell", so when he asked about "Girdle" I initially didn't recognize the name.)
That "Girdle" pronunciation is like nails on a chalkboard! The umlaut is an oo (or ue) sound. There is no "r" anywhere! As both a philosophy student and German speaker, whenever my professors pronounced it like that I shuddered in my seat.
I'm sure actual native German speakers could probably chime in, but I couldn't help but try to stop the spread of FUD around pronouncing poor ol' Gödel's name. :)
As a German speaker and (I assume) English speaker, you're likely aware that the sound represented by ö is not at all common in English. One can argue that it's not like "r", but it's a closer approximation of the mouth position and sound than others. The IPA for Gödel is /ˈɡɜːrdəl/ : the symbols don't map one-to-one with English orthography (then again, what does), but it's no accident that there's an r in there. And then there's the question of whether or not to pronounce names closer to how they're pronounced in their native tongue, or how they're more properly understood, or some other rational.
Thanks for the reply! I didn't know the standardized IPA was in fact with an "r." Strange though, because to me the umlauted-o sound is probably one of the easiest German pronunciations to do for an English speaker. Also, good point on the compiled/interpreted (using a programming analogy) divide in pronunciation of borrowed words. I do suppose there is plenty of evidence of butchered French terms already, so why not ruin some other language's beautiful sounds too! groaning laughter
Though, I should not be all that surprised. For my entire life in the U.S. people have pronounced my last name of "Wiese" as either "Wise" or "Why-se," both of which are totally incorrect (my family says "Weese" when anglicized). I much prefer the German pronunciation of my last name, though; too bad it's too much of a pain to explain the discrepancy between how it's spelt and what it sounds like to native English speakers. :P
I have no idea. We mostly glossed over it in class, but I had been given a copy of Gödel Escher Bach at some point so I dove a little deeper. My personal preference is Nagel's book which is short and clear (and you can probably find a digital version)
This was very much a theme of the way we were taught, there is no possible way to go into anything in depth in a lecture, if something sparked interest then we were supposed to read up on it, write a paper, and get criticized. Some classes had reading lists with well over a hundred books on them
I've been doing this professionally for 25 years, and definitely my career had a slow start, it took a good nine months out of college to find my first job, which essentially served as an apprenticeship. I've certainly never had a problem with being insufficiently technical, if you can work your way through Gödels incompleteness theorem then you can work your way through PAXOS or an algorithms text book