“I don't have a formal home recording studio, but I can record tracks on my computer upstairs in my office.” I CanHomeRecordsOfficeComputerTrackStudiosFormalUpstairsRecording Studio Author:Huey Lewis
“It has been a long road from Plato's Meno to the present, but it is perhaps encouraging that most of the progress along that road has been made since the turn of the twentieth century, and a large fraction of it since the midpoint of the century. Thought was still wholly intangible and ineffable until modern formal logic interpreted it as the manipulation of formal tokens. And it seemed still to inhabit mainly the heaven of Platonic ideals, or the equally obscure spaces of the human mind, until computers taught us how symbols could be processed by machines.” MindHumansLongHas BeensMadeStillsTurnsHeavenSpaceProgressModernCenturyTaughtComputerIdealsLogicMachinesSymbolsManipulationHuman MindFormalObscurePlatoTwentieth CenturyFractionsTaught UsTokensIntangibleIneffablePlatonicLong RoadPlato S Author:Allen Newell
“Of the properties of mathematics, as a language, the most peculiar one is that by playing formal games with an input mathematical text, one can get an output text which seemingly carries new knowledge. The basic examples are furnished by scientific or technological calculations: general laws plus initial conditions produce predictions, often only after time-consuming and computer-aided work. One can say that the input contains an implicit knowledge which is thereby made explicit.” MadeLawGamesLanguageConditionsExampleProduceComputerMathematicsPropertyMathematicalCarriePlusPeculiarFormalTechnologicalPredictionsInitialsConsumingCalculationsInputExplicitOutputImplicitTime ConsumingNew Knowledge Author:IU?. I. Manin
“There is an inherent dissonancebetween the quasi-formal world of computer programs - defining the programmed machine in each system - and the non-formal problem world of the system requirements.” WorldProblemComputerProgramMachinesInherentFormalRequirementsDefining Author:Michael Jackson
“The reason that no computer program can ever be a mind is simply that a computer program is only syntactical, and minds are more than syntactical. Minds are semantical, in the sense that they have more than a formal structure, they have a content.” MindReasonComputerProgramStructureFormal Author:John Searle
“I don't use the computer. I do sketches, very quickly, often more than 100 on the same formal research.” UseComputerResearchFormal Author:Zaha Hadid