Recent content by 1qaz2wsx3edc

Please excuse my lack of knowledge in the subject. I am aware that there are a lot of things I have to learn, but I want to ask these anyway. I'll learn the technical terms as I go along. The reason I wanted to reduce some system to first order logic is because first order logic is simple and...

Hurkyl, if a complete and consistent theory exists as you say so, doesn't that mean that Godel's Incompleteness Theorems are false?

So it is possible to construct a system that is 'consistent' but 'incomplete'? For example, can all of real analysis be constructed from a set of axioms, using only first order logic as the 'language'? (Usually what we see in books has English as 'language')

Hi, I'm currently in Physics graduate school, so I don't know much about mathematical logic. I got through an undergraduate degree in physics + maths. But I'm not entirely satisfied with my math, ever since I did the course on set theory. I want that kind of rigor in all the mathematical...

Hi, I'm already in graduate school for a Physics Phd. I got to know that a faculty member is looking to supervise a graduate student for a biophysics/medical physics PhD. I don't know much about the subject. Would I be able to get employed in the industry afterwards? Could I get into...

Hi, I'm a graduate student, one semester into a physics PhD. I'm still doing the core courses and haven't started the specialized courses yet, but I started wanting to become an astronomer. I was aware of the lack of jobs, and I wanted to do computational astronomy in particular, in the hope...