Timothy Chow

Member for 3 years
Last seen this week

alum.mit.edu/www/tchow

Network profile

Summary

Reputation

1,068

1.1k
783
499

Jun
Sep
Dec
Mar

Top tag

mathematics

Next privilege

1,250 Rep.

Create tag synonyms

Badges

8

13

Newest

Necromancer

Next badge

0/1

Excavator

Answers

View all 18 answers

Score Activity Newest

9

What is the shortest paper in the history of mathematics?

Jul 16, 2022

8

Is there any example of a long-standing mathematical conjecture whose resolution did not require advanced knowledge?

Jul 18, 2021

7

Are there any anonymous contributions to mathematics that had a great impact?

Jul 15, 2021

7

Is there a theorem proof whose accuracy is doubted because it is short?

Mar 17

7

Adrastus, Proclus, and 2+8+50+288+… versus 1+9+49+289+…

Apr 1, 2022

Questions

Score Activity Newest Views

5

Origin of Problem 6 on the 1988 International Mathematical Olympiad

Aug 7, 2022

4

Claims that fully formal proofs are impossible to write down

May 25, 2022

2

Counterweights in the overhang problem

Jul 7, 2021

2

Use of the verb "induct" in proofs by mathematical induction

Mar 3

1

Influence of Edmund Landau's list of four problems

Dec 10, 2022

Tags

View all 21 tags

mathematics

63

Score

19

posts

mathematicians

26

Score

6

posts

conjecture

17

Score

4

posts

ancient-greece

7

Score

1

post

mathematics-social-history

7

Score

1

post

Reputation

+85

Is there a theorem proof whose accuracy is doubted because it is short?

+10

Philosophy behind category theory

+10

Adrastus, Proclus, and 2+8+50+288+… versus 1+9+49+289+…

+10

Use of the verb "induct" in proofs by mathematical induction

Badges

View all badges

This user doesn’t have any gold badges yet.

8

silver badges

Necromancer

× 5

Mar 19
Yearling

× 3

Mar 4

13

bronze badges

Curious

Mar 4
Revival

× 5

Mar 18
Commentator

Jul 19, 2021

Accounts

View all 17 accounts

70.8k
20
319
524

Theoretical Computer Science

7,093
33
40

History of Science and Mathematics

1,068
8
13

705
3
12

Proof Assistants

413
2
7

Active bounties (0)

Active Offered Earned

This user has no active bounties

Votes cast

29

upvotes

1

downvotes

16

question votes

14

answer votes

2

this month