Gro-Tsen

928
Reputation
471 views
Is this your account?

Registered User 

Name Gro-Tsen
Member for 1 year
Seen May 7 at 15:00
Website
Location Paris, France
Age 36
10

Questions
votes newest views recent
9

2

2
12
votes
1
answer
401
views

Does Taranovsky’s system of ordinal notations make sense?

jan 14 at 15:41 Timothy Chow 14.4k●1●68●137

1

2

 

 

2

1
2
votes
0
answers
189
views

Maximal domain of holomorphy of a series

aug 10 11 at 15:02 Gro-Tsen 928●3●13

 

 

5

Answers
votes newest views recent
9
Is equality of terms for “real” numbers with roots, logarithm, exponential, sin, cos, and other trigonometric operations decidable with a Turing-machine?
6
Examples of interesting false proofs
2
Proof strength of Calculus of (Inductive) Constructions
2
An exercise about Tor
1
cryptographic primitive process

 

30

Votes
27
3

 

27

Tags
× 7
× 3
× 3
× 3
× 2
× 2
















 

16

Badges
● Necromancer
● Nice Question× 4
● Commentator
 ● Disciplined
● Organizer
● Critic
 ● Teacher
● Good Question
● Yearling
 ● Mortarboard
● Scholar
● Supporter
 ● Student