User Greg Nisbet - Stack Apps

1. Home
2. Your Apps
3. Questions
4. Unanswered
5. AI Assist Labs
6. Tags
8. Chat
9. Users
Stack Internal

Stack Overflow for Teams is now called Stack Internal. Bring the best of human thought and AI automation together at your work.
Try for free Learn more
Stack Internal
Bring the best of human thought and AI automation together at your work. Learn more

Greg Nisbet

Member for 8 years, 9 months
Last seen more than a month ago

Menlo Park, CA, United States

Network profile

Stats

101

reputation

0

reached

0

answers

0

questions

Communities

About

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

I'm currently studying logic and commutative algebra.

Badges

This user doesn’t have any gold badges yet.

This user doesn’t have any silver badges yet.

1

bronze badge

Autobiographer

Jun 23, 2021

Posts

This user hasn’t posted yet.

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?