Elagu hea maitse, mida ülistavad funktsionaalsus, head proportsioonid ja harmoonia." Minimalistlik ja funktsionaalselt alumiiniumist ja kroomitud terastorudest raamidele toetuv mööbel mõjus Euroopa disainimaastikul uue ja värske hingusena. Koos oma tiimiliikme Charlotte Perriandiga töötasid nad välja kolm kroomkattega terastorudest toolimudelit Maison La Roche jaoks Pariisis ehk majja, mille Le Corbusier oli projekteerinud Ameerika klientidele Henry ja Barbara Churchile. Corbu nägemuse kohaselt disainiti üks toolidest "vestluse tarvis", teine lõõgastumiseks ja kolmas tukastamiseks. Perriand ise poseeris chaise lounge'i reklaamfotodel selle aja kohta uskumatult lühikeses seelikus, kaelas veider, nn tööstuslik munakujuliste kaunistustega kee. Toolid osutusid ülimenukateks.
ega ole see tees ka kindlasti õige. Nimelt ei ole võimalik täpselt defineerida loomulikus keeles kasutatava sõna algoritm sisu, näiteks ei saa me kindlad olla, et ühel hetkel ei leita mingit uut ja hoopis eriskummalist, senitundmatut ja ettekujutamatut meetodit, mida siiski algoritmiliseks võib pidada. See on küll äärmiselt ebatõenäone - siiamaani pole kellelgi tekkinud tõsist soovi või võimalust Churchi teesi kuidagi kahtluse alla seada. Lisaks Churchile ja Turingile tegelesid lahenduvuse problemaatikaga veel päris paljud loogikud: probleemiklasside lahenduvuse uurimine on 20. sajandi loogika klassikaline temaatika, ning praegusajal töötatakse selle teema kallal aktiivselt. Ainult lahenduvuse probleemidega tegelevat spetsiaalset uurimisvaldkonda nimetatakse algoritmi- ehk rekursiooniteooriaks. Üks suuremaid valdkondi loogikaga seotud lahenduvuse uuringutes on predikaatarvutuse lahenduvate ja mittelahenduvate klasside väljaselgitamine
annaabi.ee 
