![]() ![]() ![]() |
![]() |
首页 | Master | 作品 | 招聘 | 招标 | 动态 | 热帖 | 杂志 | 帮助 | 搜索 | 注册 | 登录 | Blog 积分 简历 |
» ABBS 论坛 » 纯粹建筑论坛
» 理论
动态 | 热帖 | 招聘 | 杂志 |
|
![]() |
![]() ![]() ![]() |
Re:Foral的Blog----陆续更新 [精华] |
ArkiRen
![]() 发贴: 33 ![]() |
![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() http://songshuhui.net/archives/8745.html 参考阅读:形式证明:机器的光荣与人的梦想 (对于计算机技术对数学界的关于证明这一行为的影响) 哥德尔:“数学不仅是不完全的,还是不可完全的”。 对于参数化工具在建筑设计的应用,其实建筑师们大可不必太过抗拒,也不必将之神化。
ArkiRen edited on 2009-02-07 22:36
|
![]() ![]() ![]() |
|
![]() |
![]() |