#2 and #3 just sound like UDT to me, but #1 and #4 are strong. Thank you! I agree that deciding which theorems to prove next is a great use of decision theory, and would love to see people do more with that idea.
#2 and #3 just sound like UDT to me, but #1 and #4 are strong. Thank you! I agree that deciding which theorems to prove next is a great use of decision theory, and would love to see people do more with that idea.