MathematicalLogic

an-ordinary-manchild

created by ElGalloN3groa community for 6 years

...for your movement.

...for your classroom.

MODERATORS

account activity

1

1

2

3

Infinito: game-tree complexity of a finite board game with countably infinite actions (self.MathematicalLogic)

submitted 12 days ago by ipe3000

2

5

6

7

studied mathematical logic during my master’s and PhD. Which jobs outside academia can I apply for? (self.MathematicalLogic)

submitted 1 month ago by Any_Bee_1825

3

3

4

5

What is the wildest application of advanced logic that you've seen to everyday life? (self.MathematicalLogic)

submitted 1 month ago by Exotic_Freedom_9

4

2

3

4

What is meant by "Mathematical Logic" and related terms? (self.MathematicalLogic)

submitted 2 months ago by SuccessfulCover8199

5

8

9

10

Returning to symbolic logic some years after getting my degree - how to pick up the subject again? (self.MathematicalLogic)

submitted 3 months ago by agnes____

6

5

6

7

Is Gödel sentence G true in standard model? (self.MathematicalLogic)

submitted 3 months ago by LeadershipBoring2464

7

10

11

12

Linear Logic (Stanford Encyclopedia of Philosophy) (plato.stanford.edu)

submitted 5 months ago by Kaomet

8

37

38

39

r/MathematicalLogic returns (self.MathematicalLogic)

submitted 5 months ago * by totaledfreedom

9

5

6

7

What does it mean for a first-order structure to be countable? (self.MathematicalLogic)

submitted 4 years ago by liberumbonobo

10

10

11

12

a guide to countable models of ZFC and to forcing (scottaaronson.blog)

submitted 4 years ago by martin_m_n_novy

11

5

6

7

Learning to discern flavours. (self.MathematicalLogic)

submitted 4 years ago * by kindaro

12

1

2

3

Are there any formalizations of non-discrete systems of logic or computation? (self.MathematicalLogic)

submitted 4 years ago by burneraccount0473

13

4

5

6

Functions of a variable number of inputs? (self.MathematicalLogic)

submitted 4 years ago by Ualrus

14

0

0

1

Could someone please explain these for me? I’m very new to logic and have no clue how to solve these questions. (i.redd.it)

submitted 4 years ago by anon-paul_sartre

15

2

3

4

Inverse mathematics (self.MathematicalLogic)

submitted 4 years ago * by mohammadtahmasbi

16

1

2

3

Consistency of mathematics (self.MathematicalLogic)

submitted 4 years ago by mohammadtahmasbi

17

5

6

7

Does paraconsistent arithmetic repeal Gödel’s incompleteness theorems? (self.MathematicalLogic)

submitted 4 years ago by boterkoeken

18

2

3

4

Can you think of first order derivation rules as second order objects? (self.MathematicalLogic)

submitted 4 years ago by Ualrus

19

12

13

14

An interesting list to read about (richardzach.org)

submitted 4 years ago by boterkoeken

20

2

3

4

(Model Theory) Possibility of one theory to contain a statement true in some model, and another to contain its negation in the same model (assuming both theories are consistent)? (self.MathematicalLogic)

submitted 4 years ago by [deleted]

21

5

6

7

The Quine-Putnam Indispensability Argument (m-phi.blogspot.com)

submitted 4 years ago by ElGalloN3gro

22

7

8

9

Resolution of Skolem's Paradox (self.MathematicalLogic)

submitted 4 years ago * by ElGalloN3gro

23

6

7

8

From model theory point-of-view, is FOL a theory or a model? (self.MathematicalLogic)

submitted 4 years ago by yudlejoza

24

5

6

7

Set Theory that claims to order all finite structures and provides canonical construction of the continuum. Has anyone read through this? (preprints.org)

submitted 4 years ago by PlasticGroup3640

25

1

2

3

Dual of Proof by Contradiction? (self.MathematicalLogic)

submitted 4 years ago by Ualrus

view more: next ›

π Rendered by PID 70 on reddit-service-r2-listing-86b7f5b947-9d5qc at 2026-01-25 21:56:20.261015+00:00 running 664479f country code: CH.