Viewing profile — jeff76

The way you were arguing makes it sound like you are against beginners having access to solutions, or that you completely misunderstood my initial argument. I am not arguing about …

Think you missed my entire point of including solutions for the beginner, i.e., someone that lacks math maturity and the reasoning of how easily such a person could fool themselves…

Yes, which is why you include "several proofs of this could include..."

Disagree. Some proofs are very straightforward and standard. Those are easily checkable with a solution guide.

The issue isn’t just that the person can’t write a valid proof, but that the person thinks they have a valid proof, but it is actually invalid and they don’t have feedback to know …

When you’re doing basic proofs, showing solutions are often simple enough for unconfused verification. There are often standard ways to go about proofs, solutions could provide tho…

The point isn’t we need to do formal verification to test correctness. It’s that you probably wouldn’t write a program first pass and assume it is but free. So, why would you assum…

I disagree with the notion that if you question your solution then your solution isn’t correct. A beginner could easily fool herself onto thinking she has correct understanding, bu…

Any books in: Introduction to proofs, Abstract algebra, Topology, Linear algebra

I understand but sometimes there are books targeted for the “self-learner” that provide 0 solutions and are the type of books that save off major theorems to be proven in the exerc…

I don’t understand why people recommend books like “a programmers introduction to mathematics”. They’re advertised as books for “programmers” or people that know little math, yet t…

Any books on how to do proofs, that also includes solutions?

What are beginner type theory resources online that do not assume advance programming and math knowledge? What are truly beginner type theory resources?

This answer makes sense. I suppose my question is more along the lines of, if someone is specializing in deep learning in a PhD program then shouldn’t they at the very least be abl…

Great reply. My question based on this comment, >My advice is assuming you’d like to be a person that trains/deploys ML models to solve problems in industry. This is much different…

This is interesting. What are the prerequisites to understand Univalent Foundations and how active is it?

This brings up a question I have. Is there a way we can code up proofs in a computer language and have it checked for correctness? If so, how? What resources can I follow up on? Ca…