A Mathematical Logic for Physically Feasible Computation

物理上可行计算的数学逻辑

• 批准号: 0225063
• 负责人: Steven Lindell
• 金额: $ 6.75万
• 依托单位: Haverford College
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2002
• 资助国家: 美国
• 起止时间: 2002-10-01 至 2005-11-30
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=0225063&HistoricalAwards=false
• 关键词: Mathematical; Logic; Physically; Feasible; Computation

Two years of support are being requested if at all possible. The reason for this is because it is necessary to complete several key steps before submission as a regular proposal. The first summer is to prepare papers for presentation and/or appearance in conferences and/or journals. During the ensuing academic year, the intellectual content of this potentially controversial material will be circulated for comment, both publicly in talks and privately among colleagues. Based on the feedback received, the ideas put forth will be modified and corrected. Only then does it make sense to use the following summer to involve an undergraduate student in implementing the salient features of the proposed work for both a greater depth of understanding and demonstration purposes. By this point in time, that would mean there should be preliminary results appearing in print, with supporting documentation on the web explaining this material. In addition, more capable assistive computing technology will be available by then (to help me overcome my hand disability), so that I might be able to more actively participate in the implementation details of that work. When all of this is readily in place, then it will be possible to submit a competitive regular proposal.

如果可能的话，正在请求两年的支助。之所以这样做，是因为在作为常规提案提交之前，必须完成几个关键步骤。 第一个夏天是准备在会议和/或期刊上发表和/或出现的论文。 在接下来的学年里，这份可能引起争议的材料的知识内容将在公开讨论和同事之间私下分发征求意见。 将根据收到的反馈意见，对提出的想法进行修改和更正。只有这样，才有意义利用接下来的夏天，让一名本科生参与实施拟议工作的显著特征，以便更深入地理解和演示。 到目前为止，这将意味着应该有初步的结果出现在印刷品上，并在网上提供解释这些材料的支持文件。 此外，届时将有更强大的辅助计算技术可用（帮助我克服手部残疾），这样我可能就能更积极地参与那项工作的实施细节。 当所有这些都准备就绪时，就有可能提交一份有竞争力的定期提案。