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...
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...