Skip to main content
Mathematics
Greg Nisbet's user avatar
Greg Nisbet's user avatar
Greg Nisbet's user avatar
Greg Nisbet
  • Member for 11 years, 9 months
  • Last seen this week
  • Menlo Park, CA, United States
Profile Activity

Stats

12,341
reputation
185k
reached
235
answers
385
questions
Communities
View all

About

I am a software engineer. I study math as a hobby.

I'm currently studying logic and commutative algebra.

Badges

View all badges
4
gold badges
17
silver badges
47
bronze badges

Top tags

View all tags
139
Score
230
Posts
37
Posts %
64
Score
75
Posts
12
Posts %
59
Score
89
Posts
14
Posts %
33
Score
45
Posts
7
Posts %
15
Score
32
Posts
5
Posts %
10
Score
41
Posts
7
Posts %

Top posts

View all questions and answers
question
19
Is a topology recoverable from its set of neighborhoods?
Jan 1, 2024
answer
16
What is the point of model theory?
Jan 3, 2021
answer
15
How to write 1 tuple as sets?
Aug 28, 2021
question
13
Fake diagram lemmas that look like they should work but don't.
Dec 26, 2023
question
12
Why does Skolemming not preserve validity?
Oct 7, 2018
answer
10
Why is the binomial coefficient $\binom{\text{even}}{\text{odd}}$ always even?
Jan 4, 2024
question
10
Does ZFC -Union +UniqueUnion prove the axiom of union?
Dec 6, 2023
question
10
Does every satisfiable sentence with only infinite models in the language with one unary function include at least three equals signs?
Dec 5, 2022
question
9
Books consisting partially of flawed proofs
Jan 8, 2023
question
9
Name for topology generated by the standard open sets of reals and every point that isn't zero.
Dec 26, 2023

Top Meta posts

8
0
25
Is there a shorter and more opinionated version of "How to ask a good question?" that we can direct new users to?
20
What to do with low quality questions that you're interested in but do not own?
16
How to ask a good proof-verification question?
6
Attempting to prove the same thing multiple times -- Request For Rules and Guidelines
4
What to do when you misidentify a duplicate?

Top network posts

View all network posts
42
What is predicativity?
37
How to install Python 3.6?
35
How is the argument "I love all logic, but I don’t love deductive reasoning. Therefore, the moon is made of green cheese." valid?
25
Language features for making code easier to unit test
19
What is the difference between judgmental equality, definitional equality, and equality types?