HN user

markhkim

174 karma

breakfast food is a silly concept

[ my public key: https://keybase.io/markhkim; my proof: https://keybase.io/markhkim/sigs/QYzb0QZTGw27jlvLuXDfhwpkWeBajj8htJoXz6HUjNs ]

Posts25
Comments9
View on HN
openlogicproject.org 7y ago

Open Logic Project: An Open-Source, Collaborative Logic Text

markhkim
60pts8
eccc.weizmann.ac.il 8y ago

Fundamentals of Fully Homomorphic Encryption – A Survey

markhkim
2pts0
www.quantamagazine.org 8y ago

One-Way Salesman Finds Fast Path Home

markhkim
3pts0
markhkim.com 8y ago

How Not to Lie with Statistics: Averages

markhkim
1pts0
www.microsoft.com 8y ago

Program that repairs programs: how to achieve 78.3% precision

markhkim
3pts1
im2recipe.csail.mit.edu 9y ago

Learning Cross-Modal Embeddings for Cooking Recipes and Food Images

markhkim
3pts0
arxiv.org 9y ago

A Coq-based synthesis of Scala programs which are correct-by-construction

markhkim
2pts0
www.quantamagazine.org 9y ago

Why Quantum Computers Might Not Break Cryptography

markhkim
52pts23
news.mit.edu 9y ago

Split-second data mapping

markhkim
1pts0
www.statnews.com 9y ago

Butter doesn’t increase risk of heart disease after all

markhkim
1pts0
www.mmds.org 9y ago

Mining of Massive Datasets

markhkim
109pts7
www.youtube.com 9y ago

24/7 Stream: Earth from Space

markhkim
2pts0
www.youtube.com 9y ago

SQL, NoSQL, Spark How to Choose Your Tech-Stack

markhkim
4pts0
www.macfound.org 9y ago

Subhash Khot wins the MacArthur fellowship

markhkim
1pts0
twitter.com 9y ago

Reporting on the libreboot controversy, in tweets

markhkim
4pts0
www.npr.org 9y ago

A Cow with No Name: Google Blurs Bovine Face for Privacy

markhkim
3pts2
www.npr.org 9y ago

Tray Tables Stowed, Seat Backs Upright – And Galaxy Note 7s Off, Please

markhkim
2pts0
birdguides.com 9y ago

Research: Inbreeding linked to off-key singing in birds

markhkim
1pts0
www.lomography.com 10y ago

Let's 'Cook' the Film: The Recipe of Film Soup

markhkim
1pts0
vis.csail.mit.edu 10y ago

Visually Indicated Sounds

markhkim
50pts8
blog.itdxer.com 10y ago

Neural Networs in MySQL

markhkim
2pts0
www.facebook.com 10y ago

Your interests, according to Facebook

markhkim
7pts1
techcrunch.com 10y ago

A tronc is born

markhkim
2pts0
datajournalismhandbook.org 10y ago

Data Journalism Handbook

markhkim
2pts0
www.npr.org 10y ago

In an Age of Online Sharing, of Course the Monsters Do It Too

markhkim
1pts0

Congratulations on graduating high school. That's quite exciting, and I'm sure you'll love university.

The about page states that the book is for "an intermediate level (i.e., after an introductory formal logic course)." It'd be advisable to look elsewhere first if you don't have any exposure to propositional logic. For example, the first eight chapters of MIT's Mathematics for Computer Science textbook should be sufficient: https://courses.csail.mit.edu/6.042/spring17/mcs.pdf

The standard tip for reading mathematical texts is twofold: always try to come up with a proof before reading the one supplied in the text, and never ignore the problem sets. As Pólya famously put it, mathematics is not a spectator sport.

You can't have calculus without the real numbers, and you can't have asymptotic analysis and probability theory without calculus. There goes the whole field of the analysis of algorithms.

Nobody teaches the same topic in the exactly the same way.

There is, for one, far more material in any given subject than an introductory course or textbook can (or should) cover, so the author/instructor must choose what to include.

Plus, the order of presentation matters. For example, here are two standard ways of introducing the real numbers:

#1 (Dedekind cut). Picture a square of side length 1. The length of the diagonal, √2, cannot be represented by a ratio of integers, so we need a new number system to represent it. These numbers "in between" rational numbers are called irrational numbers, and together they form the real numbers.

#2 (Cauchy completion). Non-repeating decimals, such as π ≈ 3.141592, cannot be represented by a ratio of integers. We call such decimal numbers irrational numbers. Any number representable by a (finite or infinite) decimal is called a real number.

You can deduce #2 from #1, and vice versa. It's entirely up to the author/instructor to decide which one to start with.

Lastly, there is always a better way to explain the same material.

This was part of a collection of four essays on mathematical writing, commissioned by the American Mathematical Society:

  The committee was authorized by the Council of the American Mathematical Society in August 1968; the last appointment to it was made by Oscar Zariski, then president, in March 1969. The charge was to prepare "a pamphlet on expository writing of books and papers at the research level and at the level of graduate texts."
  
  In May 1969, two months after the committee was completed, one of its members resigned. He said he thought the project was too interesting to leave to a committee, which would never get it done properly, and he said he wanted to be free to write and publish his version independently. Norman Steenrod (the chairman) declined to accept the resignation, preferring to allow the member the freedom he sought. This left the exact membership of the committee up in the air.
  
  The work of the committee proceeded mainly on Steenrod's steam; he wrote to the other members (in triplicate), and occasionally they would write an answer (to him alone). The committee met only once (for an hour, at the Eugene meeting in August 1969, with three present). The result of the correspondence and the meeting was the decision to present to the Council, as the product of the committee, four separate essays, one by each of the four members, with the recommendation that the Society publish them, together, as this book. > > A year later (in August 1970) Steenrod had at hand only one essay. A year and six months later (in March 1971) that essay was published. (L'Enseignement Mathématique, 16 (1970), 123-152.) Even so, Steenrod was still hoping; he set August 300, 1971 as a target date for the receipt of all the essays. The solution he proposed for the problem created by the already published essay was to reprint it as is, as part of the AMS publication, provided the editors and publishers of L'Enseignement Mathématique agreed. They did.
  
  Steenrod died in October 1971, before quite completing his own essay. Before he died he asked, through his wife, that his nearly finished work be prepared for submission to the council and presented together with the others. That was done.
  
  Respectfully submitted,
  J. A. Dieudonné
  P. R. Halmos
  M. M. Schiffer
The other three essays are excellent as well and I recommend that you check out all of them. All of the authors are excellent mathematical expositors, though perhaps not as well-known as Halmos outside of the academic mathematics community. Dieudonné in particular had quite an illustrious writing career as well, having been part of the Bourbaki group as well as Grothendieck's EGA project.

I'm surprised no one mentioned this yet: make sure to talk to your professor, frequently. Introductory analysis courses exist primarily to teach a certain way of thinking, and there is, after all, no better way to learn how to think than to talk to someone who already knows the ways. Take advantage of what you have.

Even mental exercises could use a purpose. What are you interested in? Try to keep an end goal in mind. If you want to learn more about machine learning, it might be an idea to start with a mathematical preliminaries chapter in a typical machine learning textbook and look up difficult topics in a probability/statistics textbook. If you want to learn more about databases, perhaps you could pick up a book on relational algebra, and explore it in the context of abstract algebra. There are many ways to get the job done.

eh, I posit that you already understand induction and just don't know that you do.

"So many CS educated juniors" being uncomfortable with recursion is not an argument against understanding mathematical induction. Who says they understood induction?

If you think probability theory is bad...

The old joke that "differential geometry is the study of properties that are invariant under change of notation" is funny primarily because it is alarmingly close to the truth. Every geometer has his or her favorite system of notation, and while the systems are all in some sense formally isomorphic, the transformations required to get from one to another are often not at all obvious to the student. —John M. Lee, "Introduction to Smooth Manifolds"