Communities

The Great Outdoors

Photography & Video

Scientific Speculation

Electrical Engineering

Languages & Linguistics

Software Development

Community Proposals

tag:snake search within a tag

answers:0 unanswered questions

user:xxxx search by author id

score:0.5 posts with 0.5+ score

"snake oil" exact phrase

votes:4 posts with 4+ votes

created:<1w created < 1 week ago

post_type:xxxx type of post

Notifications

Mark all as read See all your notifications »

Profile Activity Vote Summary All Communities

Vote summary for Julius H.‭

A daily summary of votes received for posts.

Oct 25, 2024: +1

+1

−0

Articles, please!

Question Meta

Aug 3, 2024: +1

+1

−0

Defining Bayes’s theorem from scratch in ZFC

Question Q&A

Jun 10, 2024: +1

+1

−0

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

Question Q&A

Apr 30, 2024: -2

+0

−1

Explain derived categories to someone without a strong background in homological algebra

Question Q&A

+0

−1

What are the Peano axioms?

Question Q&A

Apr 10, 2024: 0

+1

−1

Defining Bayes’s theorem from scratch in ZFC

Question Q&A

Apr 7, 2024: +2

+1

−0

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

Question Q&A

+1

−0

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

Question Q&A

Mar 10, 2024: -4

+0

−1

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

Question Q&A

+0

−1

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

Question Q&A

+0

−1

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

Question Q&A

+0

−1

What are the Peano axioms?

Question Q&A

Mar 3, 2024: -1

+0

−1

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

Question Q&A

Feb 26, 2024: -1

+0

−1

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

Question Q&A

+0

−1

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

Question Q&A

+1

−0

Articles, please!

Question Meta

Feb 19, 2024: -1

+0

−1

What are the Peano axioms?

Question Q&A

Feb 18, 2024: -3

+0

−3

What is a dual object?

Question Q&A

+1

−1

Explain derived categories to someone without a strong background in homological algebra

Question Q&A

Feb 15, 2024: -2

+0

−2

What are the Peano axioms?

Question Q&A

Feb 12, 2024: -3

+0

−2

Articles, please!

Question Meta

+1

−0

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

Question Q&A

+0

−1

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

Question Q&A

+0

−1

Cyclical or “loop” fractals?

Question Q&A

Feb 11, 2024: +2

+1

−0

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

Question Q&A

+1

−0

Cyclical or “loop” fractals?

Question Q&A

Feb 10, 2024: +1

+1

−0

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

Question Q&A

+1

−0

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

Question Q&A

+1

−2

Cyclical or “loop” fractals?

Question Q&A

+2

−2

Defining Bayes’s theorem from scratch in ZFC

Question Q&A