Mathematics
Greg Nisbet's user avatar
Greg Nisbet's user avatar
Greg Nisbet's user avatar
Greg Nisbet
  • Member for 9 years, 10 months
  • Last seen this week
  • Menlo Park, CA, United States
Profile Activity
Stats
10,408
reputation
126k
reached
208
answers
350
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
14
silver badges
33
bronze badges
Top tags
View all tags
118
Score
214
Posts
38
Posts %
57
Score
69
Posts
12
Posts %
51
Score
80
Posts
14
Posts %
35
Score
27
Posts
5
Posts %
32
Score
41
Posts
7
Posts %
13
Score
32
Posts
6
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
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
11
Why does Skolemming not preserve validity?
Oct 7, 2018
question
11
Does ZFC -Union +UniqueUnion prove the axiom of union?
2 days ago
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
answer
8
How to effectively learn by self learning.
Feb 26, 2021
question
8
keeping track of proper classes vs sets when showing ZFC has a countable model (assuming ZFC is consistent)
Jan 17, 2021
question
8
average length of "harmonic walk" mod $n$ is $\ln(n)$ -- why?
Jan 8, 2019
question
8
Ways to guarantee that a group presentation defines a finite group when randomly generating group presentations
Jul 16, 2022
question
7
Books consisting partially of flawed proofs
Jan 8
Top Meta posts
8
0
22
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
37
How to install Python 3.6?
37
What is predicativity?
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?
22
Language features for making code easier to unit test
18
What is the difference between judgmental equality, definitional equality, and equality types?

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.