Profile

Cover photo
RILLA BEATZ
Works at A$AP Worldwide
Attends Berklee College of Music
Lives in All over the world
131 followers|54,510 views
AboutPostsPhotosYouTube+1'sReviews

Stream

RILLA BEATZ

commented on a video on YouTube.
Shared publicly  - 
 
THAT'S THE REAL DEAL!!!!
1
Add a comment...

RILLA BEATZ

Shared publicly  - 
 
 
The biggest axiom in the world

In math the rules of a game are called axioms.  What's the longest axiom that people have ever actually thought about?

I'm not sure, but I have a candidate.  A lattice is a set with two operations called ∨ and ∧, obeying the 6 equations listed below.  But a while back people wondered: can you give an equivalent definition of a lattice using just one equation?   It's a pointless puzzle, as far as I can tell, but some people enjoy such challenges. 

And in 1970 someone solved it: yes, you can!   But the equation they found was incredibly long.

Before I go into details, I should say a bit about lattices.  The concept of a lattice is far from pointless - there are lattices all over the place! 

For example, suppose you take integers, or real numbers.  Let x ∨ y be the maximum of x and y: the bigger one.  Let x ∧ y be the minimum of x and y: the smaller one.  Then it's easy to check that the 6 axioms listed here hold.

Or, suppose you take statements.  Let p ∨ q be the statement "p or q", and let p ∧ q be the statement "p and q".  Then the 6 axioms here hold! 

For example, consider the axiom p ∧ (p ∨ q) = p.  If you say "it's raining, and it's also raining or snowing", that means the same thing as saying "it's raining" - which is why people don't usually say this. 

The two examples I just gave obey more axioms than those I just listed.  They're both distributive lattices, meaning they obey this rule:

p ∧ (q ∨ r) = (p ∧ q) ∨ (p ∧ r)

and the rule with ∧ and ∨ switched:

p ∨ (q ∧ r) = (p ∨ q) ∧ (p ∨ r)

But nondistributive lattices are also important.  For example, in quantum logic, "or" and "and" don't obey these distributive laws! 

Anyway, back to the main story.  In 1970, Ralph McKenzie proved that you can write down a single equation that is equivalent to the 6 lattice axioms.  But it was an equation containing 34 variables, and roughly 300,000 symbols!  It was too long for him to actually bother writing it down.  Instead, he proved that you could, if you wanted to.

Later this work was improved.  In 1977, Ranganathan Padmanabhan found an equation in 7 variables with 243 symbols that did the job.  In 1996 he teamed up with William McCune and found an equation with the same number of variables and only 79 symbols that defined lattices.  And so on...

The best result I know so far is by McCune, Padmanbhan and Robert Veroff.  In 2003 they discovered that this equation does the job:

(((y∨x)∧x)∨(((z∧(x∨x))∨(u∧x))∧v))∧(w∨((s∨x)∧(x∨t)))  =  x

They also found another equation, equally long, that also works.

Puzzle: what's the easiest way to get another equation, equally long, that also defines lattices?

That is not the one they found - that would be too easy!

How did they find this solution?  They checked about a half a trillion
possible axioms using a computer, and ruled out all but 100,000 candidates by showing that certain non-lattices obey these axioms.  Then they used a computer program called OTTER to go through the remaining candidates and search for proofs that they are equivalent to the usual axioms of a lattice. 

Not all these proof searches ended in success or failure... some took too long.  So, there could still exist a single equation, shorter than the ones they found, that defines the concept of lattice.

Here is their paper:

• William McCune, Ranganathan Padmanabhan, Robert Veroff, Yet another single law for lattices, http://arxiv.org/abs/math/0307284.

By the way:

When I said "it's a pointless puzzle, as far as I can tell", that's not supposed to be an insult.  I simply mean that I don't see how to connect this puzzle - "is there a single equation that does the job?" - to themes in mathematics that I consider important.  It's always possible to learn more and change ones mind about these things.

The puzzle becomes a bit more interesting when you learn that you can't find a single equation that defines distributive lattices: you need 2.  And it's even more interesting when you learn that among "varieties of lattices", none can be defined with just a single equation except plain old lattices! 

By contrast, "varieties of semigroups where every element is idempotent" can always be defined using just a single equation.  This was rather shocking to me.

However, I still don't see any point to reducing the number of equations to the bare minimum!  In practice, it's better to have a larger number of comprehensible axioms rather than a single  complicated one.  So, this whole subject feels like a "sport" to me: a game of "can you do it?"

#spnetwork arXiv:math/0307284 #lattice #variety
44 comments on original post
1
Add a comment...

RILLA BEATZ

commented on a video on YouTube.
Shared publicly  - 
 
nice one my bruva!!!! respect!
1
Jole Cold's profile photo
 
where you at dunny
Add a comment...

RILLA BEATZ

commented on a video on YouTube.
Shared publicly  - 
 
THIS IS THE BEST LOVE YALL CATS KEEP UP THE GOOD WORK!
1
Add a comment...

RILLA BEATZ

commented on a video on YouTube.
Shared publicly  - 
 
THEY WOULD TAKE IT TOO THE CITY OF BLACK ENT WORLD !!!! OMG IM VEX
1
Add a comment...

RILLA BEATZ

commented on a video on YouTube.
Shared publicly  - 
1
Add a comment...
In his circles
700 people
Have him in circles
131 people
April Whiting-Haraguchi's profile photo
Patrick Cullinane's profile photo
Chappoh Guzman's profile photo
BMI Worldwide's profile photo
SPACE.com's profile photo
Малкия Президент's profile photo
TwoWolves Stone's profile photo
Garf Smith's profile photo
Caio Pederson's profile photo

RILLA BEATZ

commented on a video on YouTube.
Shared publicly  - 
1
Add a comment...

RILLA BEATZ

commented on a video on YouTube.
Shared publicly  - 
 
I GOT YOU TAJ I ADD YA VOICE TO MY MUSIC
2
Add a comment...

RILLA BEATZ

commented on a video on YouTube.
Shared publicly  - 
 
LOOK at thESE  white fucks trying to pick our black brain!!!!!
2
Add a comment...

RILLA BEATZ

commented on a video on YouTube.
Shared publicly  - 
 
GREEN SCREEN!
1
Add a comment...

RILLA BEATZ

commented on a video on YouTube.
Shared publicly  - 
1
Add a comment...

RILLA BEATZ

commented on a video on YouTube.
Shared publicly  - 
 
yes alex!!!!!!!!
1
Add a comment...
People
In his circles
700 people
Have him in circles
131 people
April Whiting-Haraguchi's profile photo
Patrick Cullinane's profile photo
Chappoh Guzman's profile photo
BMI Worldwide's profile photo
SPACE.com's profile photo
Малкия Президент's profile photo
TwoWolves Stone's profile photo
Garf Smith's profile photo
Caio Pederson's profile photo
Work
Occupation
sound science
Skills
EDM REMIXS SCRATCHING 808 LIVE
Employment
  • A$AP Worldwide
    TRAP KILLA, present
  • RILLA BEATZ/DjRilla
    Evaluation of the Human Condition, present
    DJ/PRODUCER/RAPPER
Places
Map of the places this user has livedMap of the places this user has livedMap of the places this user has lived
Currently
All over the world
Previously
Los Angeles - Cali,Vegas,Japan, - san diego - nyc
Story
Tagline
THE TRUTH SOUND
Introduction
Rilla/Michael B Hand Born 1981 Great success is inevitable for this 30 year old Hipstep DJ/Producer/Turntablist and so far the sky has been the limit for his ideas
and talent. Born and raised in Los Angeles, DJ Rilla has a long cultivated relationship
with hip hop group the Living Legends. That helped solidify his love of hip hop music
and culture, and since his first rave in 1996 he has developed a deep love for drum
and bass music. Already a skilled DJ, Rilla decided to enter N2O..s 2000 King of the
Jungle battle which was the first US jungle music battle with strictly jungle/drum
and bass records as the weapon. He came out of the battle victorious and has been
tearing up decks worldwide since then. He has traveled to Australia, London, Japan
and all over the United States playing shows as a jungle/drum and bass DJ or as the
DJ for the Living Legends. He is starting his own music label called Pound Sound
Recordings, and DJ Rilla..s goals for the future are to raise drum and bass music to
the level and nationwide notoriety of hip hop, while still keeping the sound pure and
hard. He sees himself stepping into the roll as a strong frontrunner of drum and
bass music and culture, and with all his talent both as a DJ and producer Final
scratch pioneer, there is no way this man can be stopped. And now £ sound!!! big
ups Drum n Bass heads world wide!  2013 Rilla is on his new vibe traping it up!!! stay tuned!
Bragging rights
King of the jungle 2000 n20 scarub's road dj 7 years!
Education
  • Berklee College of Music
    present
  • Mount washington
  • Eagle rock
Basic Information
Gender
Male
Other names
DJRILLA+
Apps with Google+ Sign-in
  • SoundCloud
RILLA BEATZ's +1's are the things they like, agree with, or want to recommend.
13 bloodlines of the illuminati
midnitezorro.blogspot.com

In my research regarding the Freemason’s, United States Presidents and The Masonic Power Structure I was constantly running into the number

Nathalie Lussier Media Inc.
plus.google.com

All in one web site design, consulting, technical implementation.

The Elder Scrolls Online
plus.google.com

The official Google+ page.

Black Scale – Black Scale x Gourmet Summer 14 Apparel
black-scale.com

Blvck Mag · All News from Black Scale · All News from Black Scale VV · Black Scale · The Story of Black Scale · Blvck Apps · Blvck Sound · B

Black Scale – Black Scale x Gourmet Footwear In Store Event
black-scale.com

Blvck Mag · All News from Black Scale · All News from Black Scale VV · Black Scale · The Story of Black Scale · Blvck Apps · Blvck Sound · B

Black Scale – MiBBS feat. POLO DONATELLO – $100 (Official Video)
black-scale.com

Blvck Mag · All News from Black Scale · All News from Black Scale VV · Black Scale · The Story of Black Scale · Blvck Apps · Blvck Sound · B

Black Scale – BLACK SCALE SUMMER 14 LOOKBOOK
black-scale.com

Black Scale Summer 14 LookBook was shot by our own Parris Walker in Hollywood Los Angeles, Ca. This Summer 14 Collection is one of our favor

Black Scale – Black Scale | Vancouver Canada
black-scale.com

Black Scale visits Vancouver Canada last month. Great to see all of the stores that carry the brand and our distributer Mehrathon who works

RILLA BEATZ
rillabeats.flavors.me

DJ RILLa Artist SummaryGenres: †Ɍ∆Ƥ ṂƱȘİ₡/Electronica / Dance / DjArtist Bio28 year old DJ / Producer / Turntablist Dj Rilla, born and raise

Run The Trap
plus.google.com

The Best Trap Music, Hip Hop, EDM, Club Music, Future Bass and More.

Cashmere Cat - Triple J Mix 2014 | Run The Trap
runthetrap.com

To celebrate Valentine's Day, Cashmere Cat has uploaded his recent mix for Triple J.

Photos of drakeswifey
www.datehookup.com

tags: black hair, brown eyes, hispanic, el monte, california, 91732, single women, single woman, single girl. NEW 11,12,13 · 10/27/13 · 10.3

carahutchison2
www.datehookup.com

Location: Arcadia California. Zip Code: 91006. Age: 24, Scorpio. Height: 5 ft. 6 in. Hair, Eyes: Dirty Blonde, Blue. Body: Slender. Ethnicit

drakeswifey
www.datehookup.com

Location: El Monte California. Zip Code: 91732. Age: 22, Gemini. Height: 5 ft. 5 in. Hair, Eyes: Black, Brown. Body: Slender. Ethnicity: His

Free Downloads - Trap Music Blog - Run The Trap: The Best Hip Hop, EDM &...
runthetrap.com

Home · Trap Music · Trap Music Download · Trap Music Sample Packs · New Trap Music · Free Downloads · Singles · Compilation · Artist Spotlig

Facebook
market.android.com

Keeping up with friends is faster than ever.• See what friends are up to • Share updates, photos and videos • Get notified when friends like

alexkhansen
sourceforge.net

Fink brings the full world of Unix Open Source software to Darwin and Mac OS X. Packages are downloaded and built automatically and installe

SoundCloud Mobile
m.soundcloud.com

SoundCloudSign InOpen in App LoadingStreamActivitySearchNow playing · You · About SoundCloud · Terms of Use · Imprint · Help. Top ▲. Open on

RILLABEATZ - TRAP&TICKEL PINKY - viinyl
traptickelpinky.viinyl.com

RILLABEATZ's official viinyl for TRAP&TICKEL PINKY including the lyrics, video, downloads, latest songs, albums and more...

really good sevice!
Public - 2 years ago
reviewed 2 years ago
1 review
Map
Map
Map