Ozel, fromthispointforward a theoryandlookattpassOnthesurface, Brodskyrealized, isthatah, isthisoffof a Heusedinhomeatop a theorycanbeusedtotalkaboutanymathematicalobjects, sothey'reactuallythere.
There's a probleminmathematicsthatcertainthingsworkwellonthisoffsetlevel.
Butifyouwanttoworkaboutstructures, moreabstract, geometric, abstractmathematicalconcepts, thenyouneedsortof a differenttypeofmathematics.
Andherealizedthatusingideasfor a momentofyourtheory, youcouldmakeup.
Soit's moreabstract.
Theyoffmathematics.
Sohisunderstandingwas, I think, thatherealizedthatsettheory, whichmathematiciansusuallyuse, isnofittings, a bill, butsomehowthatideasfromhome, a trophytheoryshouldgiveriseto a differentvetodomathematics, andthatthenlethimtotypetheoryandconnectionstocomputerscience.
Wehad a video a coupleofyearsagowithProfessorBrowsefeedaboutnonEuclideangeometryandthisideaofwhetherwecanprovewhetherparallellinesevermeettheinnatecurvatureoftheEarthsolongasyoutakingsightingsandgoingjournalsiswhatvoteskeysdone?
Kindofjusttakingthis a stepfurtherOrisitsomethingdifferent?
Yeah, thisdesolatetocomparethisbecauseinitiallywhenpeoplethought I meanincludingGermantreejustthoughtoffthegeometryofftheplaneonthatit.
Butitturnsoutthatifyouwanttodo a moreabstractmathematics, ifyouwanttobeabletobuildthesetowersofobstructioninanefficientvery, it's goodtogetawayfromthisideaoffflatstructurelike a set, andthinkoftimeswhichhave a morecomplicatedstructurelikethatextratoolsandsoon.
Sointhiswayit's a it's a generalization, likebeforewehave a cleangeometry, whichisonlythejumpedofftheplane, anditwasgeneralizedtoincludeothergeometries.