Mathematics
Patrick Lutz's user avatar
Patrick Lutz's user avatar
Patrick Lutz's user avatar
Patrick Lutz
  • Member for 5 years, 10 months
  • Last seen this week
Profile Activity
Stats
845
reputation
3k
reached
17
answers
0
questions
Communities
View all
About

Postdoc at UCLA.

Badges
View all badges
This user doesn’t have any gold badges yet.
4
silver badges
10
bronze badges
Top tags
View all tags
25
Score
13
Posts
76
Posts %
10
Score
5
Posts
29
Posts %
4
Score
2
Posts
12
Posts %
4
Score
1
Posts
6
Posts %
4
Score
1
Posts
6
Posts %
4
Score
1
Posts
6
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
answer
4
Provability and computability
Nov 16, 2019
answer
4
Constructing a Travelling Salesman solution and problem
Nov 19, 2019
answer
3
What is the Löwenheim number of $L(Q^c)$
Dec 14, 2019
answer
3
Extending a 1-reduction
Dec 18, 2019
answer
3
Jech's proof that $2^{\aleph_\alpha}=\aleph_\alpha^+$ when $V=L[A]$ for $A\subset P(\omega_\alpha)$
Jun 1, 2020
answer
3
Primitive recursion and $\Delta^0_0$
Jun 1, 2020
answer
2
Question about Friedberg’s original proof of the Friedberg-Muchnik Theorem
Dec 12, 2019
answer
2
Length of a Deduction
Dec 15, 2019
answer
1
Improving a computable prefix code of the natural numbers
May 25, 2017
answer
1
Finding the image in a computable way
Nov 16, 2019
Top network posts
View all network posts
43
Proofs of theorems that proved more or deeper results than what was first supposed or stated as the corresponding theorem
32
Taxonomy of bad proofs
8
Does permission always work?
7
Universal locally countable partial order
6
Infinite descending chain of Turing jumps with equality

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.