Viewing profile — fgdorais

The relevant book Computability in Analysis and Physics by Pour-El and Richards is from 1989 but it is quite readable. The main requirements are a strong mathematical background (m…

This is better known as the Table Maker's Dilemma. Say you have some computable number p, that means you can compute a (rational) approximation p' to p within any given tolerance e…

Universal Basic Water would be a great achievement!

There are a lot of "forgiveness rules" but they are tricky. I think you need to consult a lawyer to assess the exact situation. I hope this works out!

I'm not the expert here, but AOS only applies when you're currently in the US. Has this person been in the US for over a decade without a valid status?

FWIW, my pathway was: F1, TN1, J1, H1B, green card over a period of 19.5 years... I'm thinking that wasn't optimal :-)

This is more of a historical question. I have a green card now so this is not currently relevant to me. I wonder about the use of H1B vs O1 in academia. When I was doing postdocs i…

What if the visitors are from November of this year?

Anil Nerode is almost surely the oldest working computer scientist today - https://math.cornell.edu/anil-nerode - He technically is in the math department at Cornell but he has bee…