Above user in a nutshell

A forum for topics that don't fit elsewhere. Introduce yourselves to other members of the forums, discuss how your name evolves when written out in the Game of Life, or just tell us how you found it. Forum rules still apply.
Locked
User avatar
Moosey
Posts: 4315
Joined: January 27th, 2019, 5:54 pm
Contact:

Re: Above user in a nutshell

Post by Moosey »

Someone who is either right or not right
κ is measurable iff there is a nontrivial elementary embedding j:V→M (M transitive) with critical point κ
fluffykitty
Posts: 1178
Joined: June 14th, 2014, 5:03 pm
Contact:

Re: Above user in a nutshell

Post by fluffykitty »

Someone who said something that is always true assuming the law of excluded middle
User avatar
Moosey
Posts: 4315
Joined: January 27th, 2019, 5:54 pm
Contact:

Re: Above user in a nutshell

Post by Moosey »

fluffykitty wrote:Someone who said something that is always true assuming the law of excluded middle
Someone who is right XOR not right. (Since I said not right, the law of the excluded middle doesn't matter)
κ is measurable iff there is a nontrivial elementary embedding j:V→M (M transitive) with critical point κ
User avatar
testitemqlstudop
Posts: 1365
Joined: July 21st, 2016, 11:45 am
Location: in catagolue
Contact:

Re: Above user in a nutshell

Post by testitemqlstudop »

Someone who is right
User avatar
Moosey
Posts: 4315
Joined: January 27th, 2019, 5:54 pm
Contact:

Re: Above user in a nutshell

Post by Moosey »

Someone who is right
κ is measurable iff there is a nontrivial elementary embedding j:V→M (M transitive) with critical point κ
PkmnQ
Posts: 1140
Joined: September 24th, 2018, 6:35 am
Location: Server antipode

Re: Above user in a nutshell

Post by PkmnQ »

Moosey wrote:
testitemqlstudop wrote:Someone who enjoys making brain-twisting logic statements in English instead of using logical quantifiers.
Someone who may know that ∀(Posts I make)(Post not final->[∃Post][Post after my post)(Post Not first->[∃Post][Post before my post])
And thus that
∃(Person|Person = me)(Person makes brain-twisting logic statements in English and simple observations in logical quantifiers)
Someone who can be described as the above post describes the user above the above user
Means
∀(Post|post=one in question)∀(User|User∈{Above user,User above above user})(Post describes User)


Can anyone list properties of the relation describes? for instance, x = y && z describes x ⇒ z describes y.
That reminds me of the time I tried to make logic into a language.
Oh, what am I supposed to do again?
Oh yeah, describe the above user. Ok so that’s umm…Moosey.
Someone who…aha, that’s the logician right above in that quote!
Ok, so gotta reference…oh, trend. “Someone who is right” ok, gotta think of something...
Aha, I remember a video!

Someone who is wrong.
What? Let me demonstrate why i’m wrong.
Wrong+Wrong=Right
Right+Right=Wrong
Right=Left+Left+Left
Left=Right+Right+Right

Alright, so we start with right and work backwards.
R
LLL
RRRRRRRRR
RWWWW
RRR
RRLLL
RRRRRRRRRRR
RRRWWWW
RRRRR
RWW
RR
W
See? I’m left! (That is also wrong.)
User avatar
Moosey
Posts: 4315
Joined: January 27th, 2019, 5:54 pm
Contact:

Re: Above user in a nutshell

Post by Moosey »

Someone whose statement is false; a "double-true" statement is true and so is a "double-false" statement-- that is, two rights make a right, as do two wrongs (unless you're referring to things that are wrong morally of course)
(And yes, I know you're talking about some sort of weird pop-culture stuff but I don't care)
κ is measurable iff there is a nontrivial elementary embedding j:V→M (M transitive) with critical point κ
PkmnQ
Posts: 1140
Joined: September 24th, 2018, 6:35 am
Location: Server antipode

Re: Above user in a nutshell

Post by PkmnQ »

Someo who “Someone who”.

(Also, https://youtu.be/LAJeX3iPVyo)
User avatar
Gustone
Posts: 898
Joined: March 6th, 2019, 2:26 am

Re: Above user in a nutshell

Post by Gustone »

Someone who is left
User avatar
testitemqlstudop
Posts: 1365
Joined: July 21st, 2016, 11:45 am
Location: in catagolue
Contact:

Re: Above user in a nutshell

Post by testitemqlstudop »

A chicken that knows how to type
PkmnQ
Posts: 1140
Joined: September 24th, 2018, 6:35 am
Location: Server antipode

Re: Above user in a nutshell

Post by PkmnQ »

Someone whose profile picture reminds me of the way WhEaT sometimes needs to do in order to make an oscillator that works.

Code: Select all

x = 7, y = 9, rule = B3/S23
2o$o2b2o$b2obo$2bo$2bo$obob2o$2o2bo$4bobo$5b2o!
User avatar
Hdjensofjfnen
Posts: 1770
Joined: March 15th, 2016, 6:41 pm
Location: Eastern Time (UTC-4)

Re: Above user in a nutshell

Post by Hdjensofjfnen »

testitemqlstudop wrote:A chicken that knows how to type
Harsh!
And as per custom, someone whose number of posts is currently divisible by both 11 and 17. (561)
User avatar
Moosey
Posts: 4315
Joined: January 27th, 2019, 5:54 pm
Contact:

Re: Above user in a nutshell

Post by Moosey »

Someone who has an amount of posts divisible by 1
κ is measurable iff there is a nontrivial elementary embedding j:V→M (M transitive) with critical point κ
User avatar
testitemqlstudop
Posts: 1365
Joined: July 21st, 2016, 11:45 am
Location: in catagolue
Contact:

Re: Above user in a nutshell

Post by testitemqlstudop »

Someone who currently has an amount of posts divisible by 1, 2, 3, 7, 21, 25, 50, 75, 100, 300, 700, inclusive or 2100.
Last edited by testitemqlstudop on August 20th, 2019, 12:05 am, edited 2 times in total.
User avatar
Moosey
Posts: 4315
Joined: January 27th, 2019, 5:54 pm
Contact:

Re: Above user in a nutshell

Post by Moosey »

Someone who will now be wrong until I make my 4200th post
κ is measurable iff there is a nontrivial elementary embedding j:V→M (M transitive) with critical point κ
User avatar
testitemqlstudop
Posts: 1365
Joined: July 21st, 2016, 11:45 am
Location: in catagolue
Contact:

Re: Above user in a nutshell

Post by testitemqlstudop »

Someone who is responding to a person that took advantage that there was no rule against editing posts and is hence now wrong.
User avatar
Hdjensofjfnen
Posts: 1770
Joined: March 15th, 2016, 6:41 pm
Location: Eastern Time (UTC-4)

Re: Above user in a nutshell

Post by Hdjensofjfnen »

Someone who's almost at 1000 posts.
User avatar
testitemqlstudop
Posts: 1365
Joined: July 21st, 2016, 11:45 am
Location: in catagolue
Contact:

Re: Above user in a nutshell

Post by testitemqlstudop »

Someone who's almost at 1220 posts.

Are we paying attention to user stats now?
User avatar
Moosey
Posts: 4315
Joined: January 27th, 2019, 5:54 pm
Contact:

Re: Above user in a nutshell

Post by Moosey »

Someone for whom the answer is now no, since I didn't pay attention to user stats in this post
κ is measurable iff there is a nontrivial elementary embedding j:V→M (M transitive) with critical point κ
User avatar
testitemqlstudop
Posts: 1365
Joined: July 21st, 2016, 11:45 am
Location: in catagolue
Contact:

Re: Above user in a nutshell

Post by testitemqlstudop »

Someone who is right
PkmnQ
Posts: 1140
Joined: September 24th, 2018, 6:35 am
Location: Server antipode

Re: Above user in a nutshell

Post by PkmnQ »

Someone who is 0!
User avatar
testitemqlstudop
Posts: 1365
Joined: July 21st, 2016, 11:45 am
Location: in catagolue
Contact:

Re: Above user in a nutshell

Post by testitemqlstudop »

Someone whose post is ambiguous:

- are you exclaiming that my age is 0,
- are you stating that my age is 0! = 1,
- are you exclaiming that my post had 0 value,
- are you stating that my post had 1 value,
- are you exclaiming that my post evaluates to 0 (i.e. wrong) ,
- are you stating that my post evaluates to the bitwise NOT of 0 (i.e. right)?
Kind of odd for you to use postfix notation.
PkmnQ
Posts: 1140
Joined: September 24th, 2018, 6:35 am
Location: Server antipode

Re: Above user in a nutshell

Post by PkmnQ »

testitemqlstudop wrote:Someone whose post is ambiguous:

- are you exclaiming that my age is 0,
- are you stating that my age is 0! = 1,
- are you exclaiming that my post had 0 value,
- are you stating that my post had 1 value,
- are you exclaiming that my post evaluates to 0 (i.e. wrong) ,
- are you stating that my post evaluates to the bitwise NOT of 0 (i.e. right)?
Kind of odd for you to use postfix notation.
Someone who made me realized that my post was ambiguous.
ALso, I meant 0! = 1 and 1 is true and........................................................................................
User avatar
Moosey
Posts: 4315
Joined: January 27th, 2019, 5:54 pm
Contact:

Re: Above user in a nutshell

Post by Moosey »

Someone who responded to a humorous question in a way that suggested they thought it was serious.

Next time say "someone whose post is ¬false", pkmnQ.
κ is measurable iff there is a nontrivial elementary embedding j:V→M (M transitive) with critical point κ
User avatar
testitemqlstudop
Posts: 1365
Joined: July 21st, 2016, 11:45 am
Location: in catagolue
Contact:

Re: Above user in a nutshell

Post by testitemqlstudop »

Someone who is right
Locked