tailcalled

53

Reputation

12 views

Registered User

Name	tailcalled
Member for	9 months
Seen	15 hours ago
Website
Location
Age

stats recent reputation favorites

1

Questions

1

5

votes

1

answer

245

views

Is equality of terms for “real” numbers with roots, logarithm, exponential, sin, cos, and other trigonometric operations decidable with a Turing-machine?

computer-science lo.logic algorithms

jan 15 at 18:55 Gro-Tsen 928●3●13

0

Answers

0

Votes

3

Tags

lo.logic
computer-science
algorithms

3

Badges