Skip to main content
Mathematics
Greg Nisbet's user avatar
Greg Nisbet's user avatar
Greg Nisbet's user avatar
Greg Nisbet
  • Member for 10 years, 5 months
  • Last seen this week
  • Menlo Park, CA, United States
Profile Activity
Stats
11,894
reputation
157k
reached
233
answers
384
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
16
silver badges
41
bronze badges
Top tags
View all tags
133
Score
230
Posts
37
Posts %
62
Score
75
Posts
12
Posts %
56
Score
88
Posts
14
Posts %
32
Score
44
Posts
7
Posts %
14
Score
33
Posts
5
Posts %
10
Score
42
Posts
7
Posts %
Top posts
View all questions and answers
19
Is a topology recoverable from its set of neighborhoods?
Jan 1
16
What is the point of model theory?
Jan 3, 2021
15
How to write 1 tuple as sets?
Aug 28, 2021
13
Fake diagram lemmas that look like they should work but don't.
Dec 26, 2023
11
Why does Skolemming not preserve validity?
Oct 7, 2018
10
Does ZFC -Union +UniqueUnion prove the axiom of union?
Dec 6, 2023
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
9
Why is the binomial coefficient $\binom{\text{even}}{\text{odd}}$ always even?
Jan 4
9
How to effectively learn by self learning.
Feb 26, 2021
9
Books consisting partially of flawed proofs
Jan 8, 2023
Top Meta posts
8
0
23
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
38
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?
23
Language features for making code easier to unit test
18
What is the difference between judgmental equality, definitional equality, and equality types?