Mathematics
Meta user
Network profile
369
reputation
1
9

Bert Zangle

Apparently, this user prefers to keep an air of mystery about them.

0
answers
10
questions
~4k
people reached
  • Member for 5 years
  • 46 profile views
  • Last seen Jan 16 at 12:54

Communities (21)

Top Meta Posts
1
0

Top network posts

Top tags (11)

Score 0
Posts 5
Posts % 50
Score 0
Posts 3
Score 0
Posts 2
Score 0
Posts 2
Score 0
Posts 1
Score 0
Posts 1
View all tags →

Top posts (10) All Questions Answers | Votes Newest

10 Why is $\omega$-consistency needed in Gödel's original Incompleteness proof? Jun 1 '15
5 Are all models of Peano arithmetic elementary equivalent? Jun 21 '15
4 How is a formal system including only a first-order axiomatization of induction stronger than a system without? Jun 12 '15
2 Is there a “strong” version of the axiom of choice? Feb 9 '15
2 Which mistake(s) in my argument re: representability, definability and the halting problem? Apr 22 '15
2 Choice function for collection of arbitrary finite sets. AC required? May 19 '15
0 Unclear why (first order) satisfiability undecidable and not semi-decidable. Jun 16 '15
0 Chance of m-th of n light bulbs being on after switching on the light. Oct 11 '15
0 Naive Bayes: Conditional Independence vs. Marginal Independence Assumption Oct 25 '15
0 Not sure if minimization is needed for definition of function 'half', or if primitive recursive definition possible Sep 15 '16

Badges (10)

Gold

—

Silver

1

Rarest

Bronze

9

Rarest