BrianO

Member for 8 years, 1 month
Last seen this week

Summary

Reputation

16,501

16.5k
15.5k
14.6k

2020
2021
2022
2023

Top tag

logic

Next privilege

20,000 Rep.

Access 'trusted user' tools

Badges

Newest

Yearling

Next badge

413/600

Electorate

Answers

View all 641 answers

Score Activity Newest

Is the negation of a non-theorem a theorem?

Nov 7, 2015

Is every relation which is transitive and symmetric also reflexive?

Jul 5, 2016

Quantifier: "For all sets"

Dec 10, 2015

Absolute value and max/min function: why $a + b + |a - b|=2\max(a,b)$?

Jan 30, 2016

Can a set be neither open nor closed?

Oct 12, 2015

Questions

Score Activity Newest Views

This user has not asked any questions

Reputation

+10

$\infty$ and $-\infty$ are to $\aleph_0$ / $\beth_0$ as "what" is to $\beth_1$?

+10

In a general definition, a sequence starts at zero or at one?

+10

Counterexample, union of intersections, intersection of unions

+10

Translation of "every suspected criminal" into first-order logic

Badges

View all badges

gold badge

Fanatic

Jan 12, 2016

silver badges

Pundit

Feb 2, 2016
Strunk & White

Nov 8, 2015
Civic Duty

Dec 21, 2015

bronze badges

first-order-logic

May 12
logic

Nov 16, 2015
elementary-set-theory

Jan 27, 2016

Accounts

View all 15 accounts

Mathematics

16.5k
1
13
29

Stack Overflow

1,506
9
12

Computer Science

Sound Design

Signal Processing

Active bounties (0)

Active Offered Earned

This user has no active bounties

Votes cast

960

upvotes

173

downvotes

413

question votes

720

answer votes

this month

User feed

Stack Exchange Network

Summary

Top tag

Next privilege

Newest

Next badge

Answers

Questions

Tags

Reputation

Badges

Accounts

Active bounties (0)

Votes cast