Petr Pudlák

less info

network profile

1,280 reputation

13

bio	website	petr.pudlak.name
	location	Czech Republic
	age
visits	member for	9 months
	seen	yesterday
stats	profile views	88

summary answers questions tags badges favorites bounties reputation activity

42 Answers

votes activity newest

14	Has any previously unknown result been proven by an automated theorem prover?
11	How is this proof flawed?
8	Are there infinite sets of axioms?
6	Why ${ \sum\limits_{n=1}^{\infty} \frac{1}{n} }$ is divergent , but ${ \sum\limits_{n=1}^{\infty} \frac{1}{n^2} }$ is convergent?
4	On permutations and Combinations

view more

1,280 Reputation

+20	What's the asymptotic distribution of $p^n$ (powers of primes)?
+10	Factorial of Infinite Cardinal
+10	Finding a prime number
+5	Bound of partials sums $\sum_{k=0}^n f(k)$ for a generic, periodic function

view more

4 Questions

votes activity newest

4	What's the asymptotic distribution of $p^n$ (powers of primes)?
4	Bound of partials sums $\sum_{k=0}^n f(k)$ for a generic, periodic function [duplicate]
3	Does knowing the totient of a number help factoring it? [duplicate]
2	How uniform is the distribution of $n+sm$ for an irrational $s$?

62 Tags

23 logic × 10	11 powers
21 soft-question × 5	11 fake-proofs
21 automated-theorem-proving × 4	9 axioms × 2
17 big-list × 4	8 propositional-calculus × 7
11 exponentiation	8 lambda-calculus × 3

view more

36 Accounts

	Stack Overflow	11,444 rep	11670
	Programmers	1,605 rep	320
$Mathematics Stack Exchange$	Mathematics	1,280 rep	13
	Computer Science	927 rep	19
	Theoretical Computer Science	677 rep	10

10 Badges

recent class name

Scholar	Revival × 3
Quorum	Student
Nice Answer × 2	Supporter
Commentator	Teacher
Critic	Editor

0 Active bounties

active offered earned

This user has no active bounties

128 Votes Cast

all time			by type			month		week
124	up		21	question		40		2
4	down		107	answer		40		2

Technology			Life / Arts	Culture / Recreation	Science	Other
Stack Overflow Server Fault Super User Web Applications Ask Ubuntu Webmasters Game Development TeX - LaTeX	Programmers Unix & Linux Ask Different (Apple) WordPress Answers Geographic Information Systems Electrical Engineering Android Enthusiasts IT Security	Database Administrators Drupal Answers SharePoint User Experience Mathematica more (14)	Photography Science Fiction & Fantasy Seasoned Advice (cooking) Home Improvement more (13)	English Language & Usage Skeptics Mi Yodeya (Judaism) Travel Arqade (gaming) Bicycles Role-playing Games more (22)	Mathematics Cross Validated (stats) Theoretical Computer Science Physics more (7)	Stack Apps Meta Stack Overflow Area 51 Stack Overflow Careers

site design / logo © 2013 stack exchange inc; user contributions licensed under cc-wiki with attribution required

rev 2013.5.24.702