Noah Snyder

Bloomington, Indiana

sbseminar.wordpress.com

Age: 33

Assistant Professor at Indiana University, working on tensor categories and their relationships to operator algebras and topology.
16h
awarded Autobiographer
21h
awarded Good Answer
1d
comment Does Paul of Tarsus quote Talmud?
Seems unlikely since the Talmud wasn't written down until several centuries later.
Apr
10
comment Should I attend a job interview after I've already accepted another offer?
The ethical rule is: if you accept a position you're supposed to be there for a year. After a year you can move without it being considered a breach of ethics.
Apr
10
comment What is the procedure for hiring a professor?
Many math jobs are similar, though typically research oriented places skip the stage of interviewing at the JMM.
Apr
10
answered Is it appropriate for assistant professors to supervise PhD students?
Apr
9
awarded Nice Answer
Apr
3
comment "ἐν Ἐφέσῳ" in Ephesians 1:1
This answer does an excellent job of laying out the evidence for the two points of view, but I can't upvote because too much of it is spent on arguing that there's no way to evaluate evidence other than by relying entirely on presuppositions. This is somewhat polemical and not related to the specific question asked.
Apr
2
comment Teaching logic with a proof assistant
@MikeShulman: In addition to the syntax barrier, I'd be very worried about the installation barrier. Hopefully Coq is better, but just getting Agda installed on student's computers would take the first month of a class. Similarly, you'd want a program that didn't require understanding Emacs, knowing what a command line is, etc. Otherwise you're going to be spending the first month just going over background. Most of today's college students have never seen a command line.
Mar
31
awarded Nice Answer
Mar
31
awarded Autobiographer
Mar
30
comment What is the optimal blind algorithm for the game, 2048?
You can be forced to go up (if every row is completely full). In such a situation the obvious strategy is up followed immediately by down.
Mar
30
comment What is the optimal blind algorithm for the game, 2048?
Isn't the generation framework specified for 2048?
Mar
30
awarded Supporter
Mar
26
awarded Teacher
Mar
26
comment What is the meaning of an unnatural distribution of the grades?
Ok, fleshed it out and made it an answer. I should have added a picture, but don't have time at the moment.
Mar
26
answered What is the meaning of an unnatural distribution of the grades?
Mar
26
awarded Supporter
Mar
26
awarded Autobiographer
Mar
26
awarded Supporter
1 2 3 4 5