2009-05-18

Spasimo teorem!

Ovo je najbolji argument protiv istospolnih brakova koji sam do sada čuo. Na vrlo jednostavnom primjeru je objašnjeno kako, ako redefiniramo brak tako da uključuje i bridove između ljudi istog spola, Gale-Shapleyev teorem o egzistenciji stabilnog sparivanja — avaj! — više ne vrijedi. To se ne smije dopustiti. Matematičke istine, jednom dokazane, ne bi smjele pasti žrtvom proizvoljnog redefiniranja pojmova za koje su matematičari, kad su ih dokazivali, naivno pretpostavili da čine osnovu našeg razmišljanja i nikada neće biti redefinirani. (Vjerojatno nisu ni bili oženjeni tada, dok su imali toliko slobodnog vremena.:)

Naravno, uvijek je moguć i alternativni pogled. Zadnja rečenica posta daje nadu — osim očitog korolara da je poliginija sljedeći razuman korak kojim ćemo pokušati očuvati stabilnost društva, možda Gale-Shapleyev teorem i dalje vrijedi ako ga generaliziramo na hipergrafove. Imam još nekih 4 mjeseca do vlastitog vjenčanja, možda stignem formulirati i dokazati tu generalizaciju. :-)