Stack Exchange Network

Stack Exchange network consists of 175 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange

  7. current community

    your communities

    more stack exchange communities

    company blog
Mathematics
Meta user
Network profile
445
reputation
3
17

Calculemus

I don't know what intuition is. I prefer to prove every statement via first-order predicate logic.

10
answers
20
questions
~9k
people reached
  • Canada
  • Member for 6 years, 3 months
  • 77 profile views
  • Last seen 20 hours ago

Communities (28)

Top network posts

Top tags (24)

Score 6
Posts 5
Posts % 17
Score 4
Posts 6
Score 2
Posts 15
Score 0
Posts 5
Score 0
Posts 4
Score 0
Posts 3
View all tags →

Top posts (30) All Questions Answers | Votes Newest

12 How to use math textbooks Feb 23 '13
5 Why isn't the definition of absolute value applied when squaring a radical containing a variable? Apr 27
5 What is the range of this combined function? Apr 28
4 Do we need to formally teach the Greek Alphabet? Mar 6 '14
4 Truth set of $-|x| \lt 2$? Feb 22 '13
2 Word Problems(sats practice booklet) Feb 24 '13
2 Proving $(5-\frac5k )(1+\frac{1}{(k+1)^2}) \le 5 - \frac{5}{k+1}$ Feb 28 '13
2 Quantifying a free variable in an example from “How To Prove It” by Velleman Aug 10 '18
2 Logic: “the cubic root of a rational number is also a rational number” Apr 25
2 Can someone explain this proof of the product property of square roots? Sep 9 '15
View all questions and answers →

Badges (20)

Gold

—

Silver

3

Rarest

Bronze

17

Rarest

View all badges →