Mathematics
Profile Activity
Meta user
Network profile
2,217
reputation
10
20

Petr

Apparently, this user prefers to keep an air of mystery about them.

47
answers
8
questions
~54k
people reached
  • Germany
  • ppetr
  • Member for 8 years, 5 months
  • 346 profile views
  • Last seen Oct 15 '20 at 12:42

Communities (70)

Top Meta Posts
1
0

Top network posts

Top tags (80)

Score 35
Posts 11
Posts % 20
Score 34
Posts 5
Score 31
Posts 4
Score 24
Posts 5
Score 16
Posts 9
Score 11
Posts 3
View all tags →

Top posts (55)

All Questions Answers
Votes Newest
23 Has any previously unknown result been proven by an automated theorem prover? Aug 10 '12
13 How is this proof flawed? Apr 28 '13
10 Why ${ \sum\limits_{n=1}^{\infty} \frac{1}{n} }$ is divergent , but ${ \sum\limits_{n=1}^{\infty} \frac{1}{n^2} }$ is convergent? Nov 24 '12
8 How does second-order logic relate to lambda calculus? Feb 18 '13
8 Are there infinite sets of axioms? Mar 11 '13
8 What's the asymptotic distribution of $p^n$ (powers of primes)? May 19 '13
8 What is the shortest function of lambda calculus that generates all functions of lambda calculus? Aug 8 '12
6 Is it possible to compute factorials by converting to matrix multiplications? Dec 13 '15
6 Does knowing the totient of a number help factoring it? Sep 6 '12
6 What does it mean for a set to exist? Apr 30 '13
View all questions and answers →

Badges (30)

Gold

—

Silver

10

Rarest

Bronze

20

Rarest

View all badges →