Mathematics - Posts by Julius H.‭

71%

+3 −0

Q&A Concrete examples of set theorists thinking independence proofs only determine provability rather than that a statement is neither true nor false?

1 answer · posted 1y ago by Julius H.‭ · last activity 1y ago by Peter Taylor‭

Question set-theory

66%

+2 −0

Q&A A program which could derive theorems given formation rules in any modal logic?

1 answer · posted 1y ago by Julius H.‭ · edited 1y ago by Peter Taylor‭

Question computational-mathematics proof-assistants

54%

+4 −3

Q&A Defining Bayes’s theorem from scratch in ZFC

1 answer · posted 1y ago by Julius H.‭ · last activity 11mo ago by xamidi‭

Question set-theory zfc bayes-theorem

50%

+1 −1

Q&A What are the “increasingly stable consequences of the large cardinal hierarchy”?

0 answers · posted 1y ago by Julius H.‭

Question set-theory

50%

+0 −0

Q&A A program which could derive theorems given formation rules in any modal logic?

posted 1y ago by Julius H.‭ · edited 1y ago by The Amplitwist‭

Answer

50%

+2 −2

Meta Articles, please!

1 answer · posted 1y ago by Julius H.‭ · last activity 1y ago by Mithical‭

Question feature-request

44%

+2 −3

Q&A Cyclical or “loop” fractals?

2 answers · posted 1y ago by Julius H.‭ · last activity 10mo ago by pbloem‭

Question real-analysis fractal

42%

+1 −2

Q&A Explain derived categories to someone without a strong background in homological algebra [closed]

0 answers · posted 1y ago by Julius H.‭ · closed 1y ago by Peter Taylor‭

Question category-theory

42%

+1 −2

Q&A What is the significance of the K-axiom in modal logic S5?

1 answer · posted 12mo ago by Julius H.‭ · edited 11mo ago by xamidi‭

Question modal-logic proof-theory hilbert-systems axioms

40%

+0 −1

Q&A What is a one-variable fragment of first-order logic?

0 answers · posted 12mo ago by Julius H.‭

Question logic

28%

+0 −3

Q&A What is a dual object? [closed]

0 answers · posted 1y ago by Julius H.‭ · closed 1y ago by Peter Taylor‭

Question category-theory

28%

+0 −3

Q&A What is a “first-order substructural logic that has a cut-free sequent calculus”?

1 answer · posted 12mo ago by Julius H.‭ · last activity 12mo ago by Dan Doel‭

Question logic

22%

+0 −5

Q&A What are the Peano axioms?

1 answer · posted 1y ago by Julius H.‭ · last activity 12mo ago by rmf‭

Question logic

Communities

Posts by Julius H.‭