Stack Exchange

Clive Newstead

Evanston, IL, USA

https://sites.math.northwestern.edu/~newstead/

Hi there! I'm a mathematics lecturer at Northwestern University. My research areas are category theory, mathematical logic and homotopy type theory; I'm also writing a textbook called An Infinite Descent into Pure Mathematics.

top accounts reputation activity bookmarks subscriptions
Top Questions
Top Answers
797
What are imaginary numbers?
math.stackexchange.com

119
In Russian roulette, is it best to go first?
math.stackexchange.com

82
Show that the set of all finite subsets of $\mathbb{N}$ is countable.
math.stackexchange.com

79
Using Integration By Parts results in 0 = 1
math.stackexchange.com

78
Prove that $i^i$ is a real number
math.stackexchange.com

75
Why is $i! = 0.498015668 - 0.154949828i$?
math.stackexchange.com

67
What is a function?
math.stackexchange.com

42
Minimal polynomials and characteristic polynomials
math.stackexchange.com

38
Show that it is impossible to list the rational numbers in increasing order
math.stackexchange.com

35
Is the square root of -1 rational?
math.stackexchange.com

34
Is it true that the order of $ab$ is always equal to the order of $ba$?
math.stackexchange.com

32
What's an intuitive way of looking at quotient spaces?
math.stackexchange.com

31
“Well defined” function - What does it mean?
math.stackexchange.com

31
Is $0.23571113171923293137\dots$ transcendental?
math.stackexchange.com

31
Neatest proof that set of finite subsets is countable?
math.stackexchange.com

29
What makes a limit 'go away'?
math.stackexchange.com

29
The graph of xy = 1 is connected or not
math.stackexchange.com

26
Leaving out one of the Peano Axioms
math.stackexchange.com

25
Is it possible to prove uniqueness without using proof by contradiction?
math.stackexchange.com

22
How can I get the negation of $\exists!$ (unique existential quantification)?
math.stackexchange.com

22
Is the set of all topological spaces bigger than the set of all metric space?
math.stackexchange.com

22
What does functor definition in category theory mean?
math.stackexchange.com

22
Is $-1$ a perfect square?
math.stackexchange.com

21
Notation Question: What does $\vdash$ mean in logic?
math.stackexchange.com

21
A symmetric matrix whose square is zero
math.stackexchange.com

21
What is a field?
math.stackexchange.com

20
Sum of digits of $\dfrac{360}{2^n}$ always 9 - proper explanation?
math.stackexchange.com

20
What is dual to “There exists unique?”
math.stackexchange.com

19
Where is the flaw in evaluating the following integral?
math.stackexchange.com

18
Principle of Transfinite Induction
math.stackexchange.com

1 2 3 4 5 … 10