Charles Stewart

1,669
Reputation
1388 views
Is this your account?

Registered User 

Name Charles Stewart
Member for 3 years
Seen Jun 27 at 8:19
Website
Location Berlin
Age 43
Former proof theorist, now freelance copy-editor.
5

Questions
votes newest views recent
2
7
votes
3
answers
2k
views

Is functional programming a branch of mathematics?

jan 18 10 at 23:19 Adam 1,970●1●5●18

1

3
6
votes
1
answer
733
views

Scott on the consistency of the lambda calculus

mar 1 10 at 12:43 Andrej Bauer 12.5k●26●68

3

2

 

40

Answers
votes newest views recent
38
Which mathematical ideas have done most to change history?
12
What was Gödel’s real achievement?
10
What does the disjunction elimination rule say?
9
What are some examples of colorful language in serious mathematics papers?
9
Why is it so difficult to write complete (computer verifiable) proofs?
8
Is there a formal notion of what we do when we ‘Let X be …’?
8
Alternative axiom to induction
7
How much of the current logic is about syntax?
7
Reducing ACA₀ proof to First Order PA
6
Uses of bisimulation outside of computer science.
5
What does it mean for a mathematical statement to be true?
5
Programming Languages based on Category Theory
5
What are the Applications of Hypergraphs
5
Most general formulation of Gödel’s incompleteness theorems
4
When is something too big to be a set?
4
Weakest subsystems of second order arithmetic for mathematical logic
4
How seriously do professors take teaching evaluations?
4
Can we prove set theory is consistent?
4
Theory mainly concerned with $\lambda$-calculus?
4
Is there a relationship between model theory and category theory?
3
Can infinite first-order categories be specified other than as categories of models?
3
How do they verify a verifier of formalized proofs?
3
Are all mathematical theorems necessarily true?
3
Do you know any good introductory resource on sequent calculus?
3
Do you find your students are less competent in basic algebra and arithmetic, and, if so, do you believe that this is due to overuse of calculators at an early level?
3
Proof formalization
3
The Importance of ZF
3
Where are we working when we prove metamathematical theorems?
2
Discharging assumptions
2
Ternary relations that are not binary functions
1 2 next

 

538

Votes
526
12

 

46

Tags
× 31
× 11
× 8
× 6
× 6
× 5
× 4
× 4
× 3
× 3
 × 3
× 3
× 2
× 2
× 2
× 2
× 2
× 2
× 2
× 2

























 

23

Badges
● Necromancer
● Yearling× 3
● Popular Question× 2
● Nice Answer× 3
 ● Good Answer
● Taxonomist
● Enthusiast
● Civic Duty
 ● Citizen Patrol
● Scholar
● Commentator
● Critic
 ● Organizer
● Editor
● Teacher
● Supporter
 ● Student
● Autobiographer