在二十世紀八十年代,明斯基和古德二人已證