abo

Member for 12 years, 11 months
Last seen more than a month ago

Summary

Reputation

1,974

2k
1.7k
1.4k

2021
2022
2023
2024

Top tag

lo.logic

Next privilege

2,000 Rep.

Edit posts

Badges

1

12

22

Newest

Nice Answer

Next badge

0/1

Custodian

Impact

~95k

people reached

0

posts edited

0

helpful flags

8

votes cast

Answers

View all 30 answers

13

What axioms are used to prove Gödel's Incompleteness Theorems?

Jan 6, 2013

12

Set theories without "junk" theorems?

Mar 11, 2012

11

Essential reads in the philosophy of mathematics and set theory

Apr 18, 2012

11

Lists as a foundation of mathematics

Oct 18, 2023

10

Dedekind-Peano axioms, but numbers have at most one successor

Jan 20, 2023

Questions

View all 8 questions

20

Can FPA really prove its consistency?

Jan 28, 2013

12

Is an ultrafinitist Hilbert's program doomed?

Jan 29, 2013

12

When we count the same set, must the number always be the same?

Nov 29, 2017

8

Does PA prove (Artemov-style) the consistency of a stronger system?

Apr 17

7

Can this weakish system of arithmetic express multiplication for second-sort numbers?

Jun 2, 2021

Tags

View all 28 tags

lo.logic

77

Score

28

posts

set-theory

46

Score

10

posts

ultrafinitism

23

Score

10

posts

peano-arithmetic

18

Score

10

posts

foundations

15

Score

3

posts

Reputation

-2

Does PA prove (Artemov-style) the consistency of a stronger system?

+10

Even XOR Odd Infinities?

+10

How do you restrict the induction axiom in second (or higher) order logic?

+10

Set theories without "junk" theorems?

Badges

View all badges

1

gold badge

Fanatic

Jun 28, 2012

12

silver badges

Enthusiast

Apr 19, 2012
Necromancer

× 2

Jul 21, 2022
Yearling

× 9

Nov 28, 2023

22

bronze badges

Organizer

Jan 21, 2023
Self-Learner

Jan 23, 2019
Caucus

Oct 2, 2022

Accounts

1,974
1
12
22

183
5

History of Science and Mathematics

101

Active bounties (0)

This user has no active bounties

Votes cast

7

upvotes

1

downvotes

3

question votes

5

answer votes